diff --git a/regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc b/regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc
index 3841b017e1..82272f23c9 100644
--- a/regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc
+++ b/regression/smt2_strings/regexp_opt_input_sat/regexp_opt_input_sat.desc
@@ -6,7 +6,7 @@ regexp_opt_input_sat.smt2
 ^sat$
 --
 error
-
+--
 z3:
 Returns "unknown"
 Z3 [version 4.8.3 - 64 bit]