From 9a4bfa01656a64736e43a8f739f87a938dea1d58 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <tiky.halbaroth@gmail.com>
Date: Mon, 24 Jul 2023 14:06:18 +0200
Subject: [PATCH] Fix spaces

---
 tests/cram.t/run.t | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tests/cram.t/run.t b/tests/cram.t/run.t
index 9797dc168..6a9c791ab 100644
--- 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