fix bm

yoni206 · Jun 6, 2024 · 11330a2 · 11330a2
1 parent c8e445b
commit 11330a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2
@@ -1,4 +1,4 @@
-; COMMAND: --model-based-arith-bv-conv
+; COMMAND-LINE: --model-based-arith-bv-conv
 ; EXPECT: unsat
 (set-logic ALL)
 (declare-fun x () (_ BitVec 4000))