1 files changed, 9 insertions, 7 deletions
diff --git a/test/regress/regress1/sygus/multi-fun-polynomial2.sy b/test/regress/regress1/sygus/multi-fun-polynomial2.sy
index 22a2e0a4b..a20bf853d 100644
--- a/test/regress/regress1/sygus/multi-fun-polynomial2.sy
+++ b/test/regress/regress1/sygus/multi-fun-polynomial2.sy
@@ -1,27 +1,29 @@
 ; EXPECT: unsat
-; COMMAND-LINE: --sygus-out=status
+; COMMAND-LINE: --lang=sygus2 --sygus-out=status
 
 (set-logic LIA)
 
 (synth-fun addExpr1 ((x Int) (y Int)) Int
+    ((Start Int))
     ((Start Int (x
                  y
-     0
-     1
+                 0
+                 1
                  (+ Start Start)
                  (- Start Start)
                  ))
-          ))
+    ))
 
 (synth-fun addExpr2 ((x Int) (y Int)) Int
+((Start Int))
     ((Start Int (x
                  y
-     0
-     1
+                 0
+                 1
                  (+ Start Start)
                  (- Start Start)
                  ))
-          ))
+    ))
 
 
 (declare-var x Int)