diff --git a/test/regress/cli/regress0/print_define_fun_internal.smt2 b/test/regress/cli/regress0/print_define_fun_internal.smt2
index d0a7e417c1e..997096561ee 100644
--- 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)