1 files changed, 12 insertions, 12 deletions
diff --git a/test/regress/regress0/strings/model001.smt2 b/test/regress/regress0/strings/model001.smt2
index e4e35f40d..2832b5c96 100644
--- a/test/regress/regress0/strings/model001.smt2
+++ b/test/regress/regress0/strings/model001.smt2
@@ -1,12 +1,12 @@
-(set-logic ALL_SUPPORTED)
-(set-info :status sat)
-(set-option :produce-models true)
-
-(declare-fun x () String)
-(declare-fun y () String)
-
-(assert (not (= x y)))
-(assert (= (str.len x) (str.len y)))
-
-(check-sat)
-;(get-model)
+(set-logic ALL_SUPPORTED)
+(set-info :status sat)
+(set-option :produce-models true)
+
+(declare-fun x () String)
+(declare-fun y () String)
+
+(assert (not (= x y)))
+(assert (= (str.len x) (str.len y)))
+
+(check-sat)
+;(get-model)