From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sun, 6 Oct 2019 15:34:24 +0000 (-0500)
Subject: Fix typo in regression (#3359)
X-Git-Tag: cvc5-1.0.0~3913
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fac8f369bd29f9856e2b61fbb5029d780fde64b;p=cvc5.git

Fix typo in regression (#3359)
---

diff --git a/test/regress/regress1/strings/issue3357.smt2 b/test/regress/regress1/strings/issue3357.smt2
index 940245c08..d0e436038 100644
--- a/test/regress/regress1/strings/issue3357.smt2
+++ b/test/regress/regress1/strings/issue3357.smt2
@@ -15,4 +15,4 @@
                 (= 0 (str.to.int (str.replace (str.replace a c "") "T" "")))))
 )
 (assert (= b (str.++ d f)))
-(check-sat
+(check-sat)