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

[cvc5.git] / test / regress / regress1 / nl / shifting2.smt2

diff --git a/test/regress/regress1/nl/shifting2.smt2 b/test/regress/regress1/nl/shifting2.smt2
index c5e805c502cddaf5b31c0a30816ac2a3f2097fcf..9122701f62e1c59572b05517657fea6e35cb3905 100644 (file)
--- a/test/regress/regress1/nl/shifting2.smt2
+++ b/test/regress/regress1/nl/shifting2.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --nl-ext
+; COMMAND-LINE: --nl-ext=full
 ; EXPECT: unsat
 (set-logic QF_NIRA)
 (set-info :status unsat)