From dde15bdbf752246fe7cb504df22261e0ad3835db Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 2 Jun 2021 10:16:26 -0700
Subject: Remove redundant logic ALL_SUPPORTED. (#6664)

---
 test/regress/regress1/bug543.smt2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress1/bug543.smt2')

diff --git a/test/regress/regress1/bug543.smt2 b/test/regress/regress1/bug543.smt2
index 9155de7a9..d28540331 100644
--- a/test/regress/regress1/bug543.smt2
+++ b/test/regress/regress1/bug543.smt2
@@ -1,7 +1,7 @@
 ; COMMAND-LINE: --incremental
 ; EXPECT: sat
 (set-option :produce-models true)
-(set-logic QF_ALL_SUPPORTED)
+(set-logic QF_ALL)
 (declare-fun _substvar_1807_ () Bool)
 (declare-fun local_id_x$1 () (_ BitVec 32))
 (declare-fun local_id_x$2 () (_ BitVec 32))
-- 
cgit v1.2.3