From fa5db30d411d4c03cd2bc25de4cecb6d130b3a09 Mon Sep 17 00:00:00 2001 From: Thibaut Cuvelier Date: Fri, 1 Apr 2022 04:37:33 +0200 Subject: [PATCH] Remove debug output. --- src/insets/InsetERT.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/insets/InsetERT.cpp b/src/insets/InsetERT.cpp index b3e73ffded..00f497f031 100644 --- a/src/insets/InsetERT.cpp +++ b/src/insets/InsetERT.cpp @@ -158,8 +158,6 @@ void InsetERT::docbook(XMLStream & xs, OutputParams const & runparams) const os_trimmed.insert(4, from_ascii("}")); } - std::cout << to_utf8(os_trimmed) << std::endl; - // Look into the global table of Unicode characters if there is a match. bool termination; docstring rem; -- 2.39.5