From 3e098509138842fbfb8cfc504b6ad390f7630948 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 22 Aug 2018 12:39:22 -0500
Subject: [PATCH] Fix option for real2int regression. (#2353)

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

diff --git a/test/regress/regress1/arith/real2int-test.smt2 b/test/regress/regress1/arith/real2int-test.smt2
index 77bc1eda2..a769aa4de 100644
--- a/test/regress/regress1/arith/real2int-test.smt2
+++ b/test/regress/regress1/arith/real2int-test.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --solve-real-as-int
+; COMMAND-LINE: --solve-real-as-int --no-new-prop
 ; EXPECT: sat
 (set-info :smt-lib-version 2.6)
 (set-logic QF_NRA)
-- 
2.30.2