From 37107284adaad3d24da0ad15cac8c88af444aeef Mon Sep 17 00:00:00 2001
From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Date: Sat, 21 Mar 2020 22:33:15 -0500
Subject: Convert V1 Sygus files to V2. (#4136)

---
 test/regress/regress2/sygus/sets-fun-test.sy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress2/sygus/sets-fun-test.sy')

diff --git a/test/regress/regress2/sygus/sets-fun-test.sy b/test/regress/regress2/sygus/sets-fun-test.sy
index 987d6a792..fdcaaefa9 100644
--- a/test/regress/regress2/sygus/sets-fun-test.sy
+++ b/test/regress/regress2/sygus/sets-fun-test.sy
@@ -1,5 +1,5 @@
 ; EXPECT: unsat
-; COMMAND-LINE: --sygus-out=status
+; COMMAND-LINE: --lang=sygus2 --sygus-out=status
 (set-logic ALL)
 (synth-fun f ((x Int)) (Set Int))
 
-- 
cgit v1.2.3