From 6d10b46e05d0eb0d50aefebc1bd307456325cdfc Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 22 Oct 2021 18:28:09 -0500
Subject: [PATCH] Add requires libpoly to regression (#7467)

Required to avoid timeout in non-libpoly builds.

FYI @dddejan .
---
 test/regress/regress1/nl/approx-sqrt-unsat.smt2 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/regress/regress1/nl/approx-sqrt-unsat.smt2 b/test/regress/regress1/nl/approx-sqrt-unsat.smt2
index cda24d098..774dbffcb 100644
--- a/test/regress/regress1/nl/approx-sqrt-unsat.smt2
+++ b/test/regress/regress1/nl/approx-sqrt-unsat.smt2
@@ -1,3 +1,4 @@
+; REQUIRES: poly
 ; COMMAND-LINE: --nl-ext-tplanes --no-check-proofs
 ; EXPECT: unsat
 (set-logic QF_NRA)
-- 
2.30.2