Readd spaces again

tests/cram.t/run.t

@@ -9,7 +9,7 @@ changes slightly, you should be concerned with ensuring the semantic is
 appropriate here.
 
   $ alt-ergo --frontend dolmen --produce-models model555.smt2 --no-forced-flush-in-output 2>/dev/null
-
+  
   unknown
   (
     (define-fun a1 () (Array Int Int)
@@ -21,30 +21,30 @@ appropriate here.
 Now we will test some semantic triggers.
 
   $ alt-ergo --frontend legacy -o smtlib2 semantic_triggers.ae 2>/dev/null
-
+  
   unknown
-
+  
   unsat
-
+  
   unsat
 
   $ alt-ergo --frontend dolmen -o smtlib2 semantic_triggers.ae 2>/dev/null
-
+  
   unknown
-
+  
   unsat
-
+  
   unsat
 
 
 And some SMT2 action.
 
   $ alt-ergo --frontend dolmen -o smtlib2 --prelude prelude.ae postlude.smt2 2>/dev/null
-
+  
   unknown
-
+  
   unsat
-
+  
   unknown
-
+  
   unsat