Fix

ajreynol · Dec 20, 2024 · 94ccb42 · 94ccb42
1 parent 4f05d0a
commit 94ccb42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/regress/cli/regress0/print_define_fun_internal.smt2 b/test/regress/cli/regress0/print_define_fun_internal.smt2
@@ -1,5 +1,5 @@
 ; REQUIRES: tracing
-; COMMAND-LINE: --solve-real-as-int -t assertions::post-real-to-int --produce-assertions --nl-cov
+; COMMAND-LINE: --solve-real-as-int -t assertions::post-real-to-int --produce-assertions
 ; EXIT: 0
 ; SCRUBBER: grep -v -E '.*'
 (set-logic QF_NRA)