From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 18 Jun 2012 21:55:25 +0000 (+0000)
Subject: unnecessary ^ in regular expression; warning produced on smt-exec
X-Git-Tag: cvc5-1.0.0~7971
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a850215587ed07a536f77333c729b32966881716;p=cvc5.git

unnecessary ^ in regular expression; warning produced on smt-exec
---

diff --git a/contrib/run-script-smtcomp2012 b/contrib/run-script-smtcomp2012
index 2183df8ce..bb4a9305f 100755
--- a/contrib/run-script-smtcomp2012
+++ b/contrib/run-script-smtcomp2012
@@ -3,7 +3,7 @@
 cat >bench-$$.smt2
 trap 'rm bench-$$.smt2' EXIT
 
-logic=$(expr "$(head -n 1 bench-$$.smt2)" : '^ *(set-logic  *\([A-Z_]*\) *) *$')
+logic=$(expr "$(head -n 1 bench-$$.smt2)" : ' *(set-logic  *\([A-Z_]*\) *) *$')
 
 # use: trywith [params..]
 # to attempt a run.  Only thing printed on stdout is "sat" or "unsat", in