From 1741bb48e54f25ef4fd7776380deca1dd60a2201 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 4 Dec 2019 16:43:02 -0600
Subject: [PATCH] Fix (#3530)

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

diff --git a/test/regress/regress1/sygus/issue3514.smt2 b/test/regress/regress1/sygus/issue3514.smt2
index dd6011df9..c643e7d5a 100644
--- a/test/regress/regress1/sygus/issue3514.smt2
+++ b/test/regress/regress1/sygus/issue3514.smt2
@@ -1,5 +1,5 @@
 ; EXPECT: sat
-; COMMAND-LINE: --sygus-inference
+; COMMAND-LINE: --sygus-inference --no-check-models
 (set-logic ALL)
 (assert
  (forall ((a Real))
-- 
2.30.2