Improve integration of CAD with nl-Ext (#6542)

[cvc5.git] / test / regress / regress1 / nl / div-mod-partial.smt2

diff --git a/test/regress/regress1/nl/div-mod-partial.smt2 b/test/regress/regress1/nl/div-mod-partial.smt2
index c94acf77069054aea4713e65b4bb7fdb9ee5587a..0f0d60fa912f153d16bf6a8cf90b340f552c635b 100644 (file)
--- a/test/regress/regress1/nl/div-mod-partial.smt2
+++ b/test/regress/regress1/nl/div-mod-partial.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --nl-ext --nl-ext-tplanes -q
+; COMMAND-LINE: --nl-ext=full --nl-ext-tplanes -q
 ; EXPECT: sat
 (set-logic QF_UFNIA)
 (set-info :status sat)