From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sun, 23 Sep 2018 17:16:49 +0000 (-0500)
Subject: Fix regress2. (#2502)
X-Git-Tag: cvc5-1.0.0~4525
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fd1ac8f675057e8221b1e702951b8a0024c7ab2;p=cvc5.git

Fix regress2. (#2502)
---

diff --git a/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2 b/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2
index c44dfa396..140c7c659 100644
--- a/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2
+++ b/test/regress/regress2/strings/cmu-disagree-0707-dd.smt2
@@ -1,6 +1,8 @@
 (set-logic ALL_SUPPORTED)
 (set-info :status sat)
 (set-option :strings-exp true)
+(set-option :strings-fmf true)
+
 
 (declare-fun url () String)