Modified a couple of regressoins to use ALL/QF_ALL instead of ALL_SUPPORTED/QF_ALL_SU...

diff --git a/test/regress/regress0/bug296.smt2 b/test/regress/regress0/bug296.smt2
index f3600942a92d2b59d56ca5dc111ab58ba87be5eb..92e54096664be254c1874a444d85a2bd6661d37a 100644 (file)
--- a/test/regress/regress0/bug296.smt2
+++ b/test/regress/regress0/bug296.smt2
@@ -1,4 +1,4 @@
-(set-logic QF_ALL_SUPPORTED)
+(set-logic QF_ALL)
 (set-info :status unsat)
 (declare-datatypes
   () (

diff --git a/test/regress/regress0/bug484.smt2 b/test/regress/regress0/bug484.smt2
index afbd724202b36edba5f51f2ae8326269f87632e2..3c73e261c314eada96cc9396b48ae06db43f7c44 100644 (file)
--- a/test/regress/regress0/bug484.smt2
+++ b/test/regress/regress0/bug484.smt2
@@ -1,5 +1,5 @@
 ; Preamble  --------------
-(set-logic ALL_SUPPORTED)
+(set-logic ALL)
 (set-info :status sat)
 (declare-datatypes () ((UNIT (Unit))))
 (declare-datatypes () ((BOOL (Truth) (Falsity))))