Fix duplicate lines

goblint · Jan 14, 2025 · 195de1b · 195de1b
1 parent 2faf732
commit 195de1b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ocamlutil/pretty.ml b/src/ocamlutil/pretty.ml
@@ -91,7 +91,7 @@ let breakString init s =
     if !r = Nil then
       text
     else
-      Concat(text, Concat(Line, !r))
+      Concat(text, !r)
 
 
 let nil           = Nil