1 files changed, 8 insertions, 9 deletions
diff --git a/test/regress/regress1/sygus/cube-nia.sy b/test/regress/regress1/sygus/cube-nia.sy
index da7d98e66..ef57840fe 100644
--- a/test/regress/regress1/sygus/cube-nia.sy
+++ b/test/regress/regress1/sygus/cube-nia.sy
@@ -1,24 +1,23 @@
 ; EXPECT: unsat
-; COMMAND-LINE: --sygus-out=status
+; COMMAND-LINE: --lang=sygus2 --sygus-out=status
 
 (set-logic NIA)
 
 (synth-fun cube ((x Int)) Int
+  ((ntInt Int) (ntBool Bool))
   (
-    (Start Int (ntInt))
-  
-    (ntBool Bool
-      ( 
-        (> ntInt ntInt)
-        (= ntInt ntInt)
-      )
-    )
     (ntInt Int
       (1 x
         (* ntInt ntInt)
         (ite ntBool ntInt ntInt)
       )
     )
+    (ntBool Bool
+      ( 
+        (> ntInt ntInt)
+        (= ntInt ntInt)
+      )
+    )
   )
 )