Require dumping in a dumping test (#5108)

Add ; REQUIRES: dumping to a dumping test.
Fixes nightlies.

diff --git a/test/regress/regress0/print_define_fun_internal.smt2 b/test/regress/regress0/print_define_fun_internal.smt2
index 22665d54c0b3cd35287a274d03ebd813fb298282..47b08da233ae43d687c960c5a64260a228f788a4 100644 (file)
--- a/test/regress/regress0/print_define_fun_internal.smt2
+++ b/test/regress/regress0/print_define_fun_internal.smt2
@@ -1,3 +1,4 @@
+; REQUIRES: dumping
 ; COMMAND-LINE: --solve-real-as-int --dump=assertions:post-real-to-int
 ; EXIT: 0
 ; SCRUBBER: grep -v -E '.*'