From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 3 Oct 2018 21:12:15 +0000 (-0500)
Subject: Fix regress (#2575)
X-Git-Tag: cvc5-1.0.0~4465
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=699e80251c9c26e0b44d1486790d94209003ff11;p=cvc5.git

Fix regress (#2575)
---

diff --git a/test/regress/regress1/sets/issue2568.smt2 b/test/regress/regress1/sets/issue2568.smt2
index bb76e7368..2e3a5f9c8 100644
--- a/test/regress/regress1/sets/issue2568.smt2
+++ b/test/regress/regress1/sets/issue2568.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --lang=smt2.5
+; COMMAND-LINE: --lang=smt2.5 --incremental
 ; EXPECT: sat
 ; EXPECT: sat
 (set-logic ALL)