From 2a667f2fe506a141c1730b5c8033c750f5b2e2a1 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 24 May 2018 10:03:23 -0500
Subject: Fix nl regression for unsat cores. (#1973)

---
 test/regress/regress1/nl/approx-sqrt-unsat.smt2 | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/regress/regress1/nl')

diff --git a/test/regress/regress1/nl/approx-sqrt-unsat.smt2 b/test/regress/regress1/nl/approx-sqrt-unsat.smt2
index af3eda65a..576fb1a67 100644
--- a/test/regress/regress1/nl/approx-sqrt-unsat.smt2
+++ b/test/regress/regress1/nl/approx-sqrt-unsat.smt2
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --nl-ext-tplanes
+; EXPECT: unsat
 (set-logic QF_NRA)
 (set-info :status unsat)
 (declare-fun x () Real)
-- 
cgit v1.2.3