Pull out variable

goblint · Jan 14, 2025 · 2faf732 · 2faf732
1 parent 6287828
commit 2faf732
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/ocamlutil/pretty.ml b/src/ocamlutil/pretty.ml
@@ -87,10 +87,11 @@ let breakString init s =
         j := i
       end
     done;
+    let text = Text (String.sub s 0 !j) in
     if !r = Nil then
-      Text (String.sub s 0 !j)
+      text
     else
-      Concat(Text (String.sub s 0 !j), Concat(Line, !r))
+      Concat(text, Concat(Line, !r))
 
 
 let nil           = Nil