Don't run bv_nat parse test with competition build (#4126)

This commit should fix the nightlies.

diff --git a/test/regress/regress0/parser/bv_nat.smt2 b/test/regress/regress0/parser/bv_nat.smt2
index fc21408547f6c617eaee5b8a5ec1d89d7af0ba5b..14a150b4f71a2076280c0be2e35864bb830e1e3f 100644 (file)
--- a/test/regress/regress0/parser/bv_nat.smt2
+++ b/test/regress/regress0/parser/bv_nat.smt2
@@ -1,3 +1,4 @@
+; REQUIRES: no-competition
 ; EXPECT: sat
 ; EXPECT: not declared
 ; SCRUBBER: grep -o "sat\|not declared"