Fix spaces

OCamlPro · Jul 24, 2023 · 9a4bfa0 · 9a4bfa0
1 parent efbf144
commit 9a4bfa0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tests/cram.t/run.t b/tests/cram.t/run.t
@@ -27,7 +27,6 @@ Now we will test some semantic triggers.
   unsat
 
   unsat
-
   $ alt-ergo --frontend dolmen -o smtlib2 semantic_triggers.ae 2>/dev/null
 
   unknown
@@ -36,7 +35,6 @@ Now we will test some semantic triggers.
 
   unsat
 
-
 And some SMT2 action.
 
   $ alt-ergo --frontend dolmen -o smtlib2 --prelude prelude.ae postlude.smt2 2>/dev/null