From 699e80251c9c26e0b44d1486790d94209003ff11 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 3 Oct 2018 16:12:15 -0500
Subject: [PATCH] Fix regress (#2575)

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

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)
-- 
2.30.2