From 204d645e97bbacd948b5777b704f7b418577610a Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Thu, 17 Jun 2021 17:49:15 -0700 Subject: Fix build without libpoly (#6759) Commit f10087c3b347da6ef625a2ad92846551ad324d73 added new files that do not compile without libpoly. This commit excludes those files when building without libpoly. It also updates one of the regressions to ignore a warning about approximate values in the model. --- test/regress/regress0/nl/issue3003.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress') diff --git a/test/regress/regress0/nl/issue3003.smt2 b/test/regress/regress0/nl/issue3003.smt2 index f28a1fd77..3247a941a 100644 --- a/test/regress/regress0/nl/issue3003.smt2 +++ b/test/regress/regress0/nl/issue3003.smt2 @@ -1,4 +1,4 @@ -; COMMAND-LINE: --nl-ext=none +; COMMAND-LINE: --nl-ext=none --no-check-models ; EXPECT: sat (set-logic QF_NRA) (set-info :status sat) -- cgit v1.2.3