1 files changed, 12 insertions, 12 deletions
diff --git a/test/regress/regress0/strings/unsound-0908.smt2 b/test/regress/regress0/strings/unsound-0908.smt2
index cbaf5f5e4..2b25e6dc8 100755
--- a/test/regress/regress0/strings/unsound-0908.smt2
+++ b/test/regress/regress0/strings/unsound-0908.smt2
@@ -1,12 +1,12 @@
-(set-logic QF_S)
-(set-info :status sat)
-(declare-const x String)
-(assert (= (str.len x) 1))
-;(assert (= x "X"))
-(assert
-    (or 
-      (not (> (str.len x) 1))
-      (= (str.at x 1) "Z")
-    )
-)
-(check-sat)
+(set-logic QF_S)
+(set-info :status sat)
+(declare-const x String)
+(assert (= (str.len x) 1))
+;(assert (= x "X"))
+(assert
+    (or 
+      (not (> (str.len x) 1))
+      (= (str.at x 1) "Z")
+    )
+)
+(check-sat)