From: yoni206 <yoni206@users.noreply.github.com>
Date: Tue, 1 Dec 2020 02:42:19 +0000 (-0800)
Subject: fix metadata for a test (#5546)
X-Git-Tag: cvc5-1.0.0~2538
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=acdffc72bd559fa4b64da2ee2b3373208354e7a1;p=cvc5.git

fix metadata for a test (#5546)

A COMMAND was used instead of COMMAND-LINE.
---

diff --git a/test/regress/regress0/bv/bv_to_int_5281.smt2 b/test/regress/regress0/bv/bv_to_int_5281.smt2
index 4d0da1dbb..dc2cb7f35 100644
--- a/test/regress/regress0/bv/bv_to_int_5281.smt2
+++ b/test/regress/regress0/bv/bv_to_int_5281.smt2
@@ -1,4 +1,4 @@
-; COMMAND: --check-models --incremental
+; COMMAND-LINE: --check-models --incremental
 ; EXPECT: sat
 (set-logic ALL)
 (set-option :check-models true)