wrap line to 80 columns

GaloisInc · Aug 14, 2023 · 453b05e · 453b05e
1 parent 8326fc7
commit 453b05e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
@@ -4257,7 +4257,8 @@ primitives = Map.fromList
     "HeapsterEnv -> String -> TopLevel ()"
     (bicVal heapster_translate_rust_type)
     Experimental
-    [ "Parse a Rust function type and print the equivalent Heapser type. Ideal for learning how Rust types are translated into Heapster. "
+    [ "Parse a Rust function type and print the equivalent Heapser type. "
+    , "Ideal for learning how Rust types are translated into Heapster. "
     ]
 
   , prim "heapster_parse_test"