From 3fd1ac8f675057e8221b1e702951b8a0024c7ab2 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Sun, 23 Sep 2018 12:16:49 -0500 Subject: [PATCH] Fix regress2. (#2502) --- test/regress/regress2/strings/cmu-disagree-0707-dd.smt2 | 2 ++ 1 file changed, 2 insertions(+) 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) -- 2.30.2