summaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
Diffstat (limited to 'contrib')
-rw-r--r--contrib/cvc4_strict_smtlib2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cvc4_strict_smtlib b/contrib/cvc4_strict_smtlib
index 0a97bd74b..45c7cbe1a 100644
--- a/contrib/cvc4_strict_smtlib
+++ b/contrib/cvc4_strict_smtlib
@@ -5,4 +5,4 @@ cvc4="${CVC4_HOME}/cvc4"
# This is the set of command line arguments that is required to be strictly
# complaint with the input and output requirements of the current SMT-LIB
# standard.
-"$cvc4" --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values $@
+"$cvc4" --lang=smt2 --output-lang=smt2 --strict-parsing --expr-depth=-1 --print-success --incremental --abstract-values $@
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback