From 94ccb42582949ea4fff7b6e20b2dfb7a7b19d0bf Mon Sep 17 00:00:00 2001 From: ajreynol Date: Fri, 20 Dec 2024 14:27:45 -0600 Subject: [PATCH] Fix --- test/regress/cli/regress0/print_define_fun_internal.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)