From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Fri, 21 Feb 2014 01:52:20 +0000 (-0600)
Subject: fix makefile
X-Git-Tag: cvc5-1.0.0~7077
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0434611785c169a1ca26f89ab3a3cb40b855390d;p=cvc5.git

fix makefile
---

diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am
index d9f0f597c..254df183e 100644
--- a/test/regress/regress0/strings/Makefile.am
+++ b/test/regress/regress0/strings/Makefile.am
@@ -30,8 +30,9 @@ TESTS =	\
   str007.smt2 \
   fmf001.smt2 \
   fmf002.smt2 \
-  int2str.smt2 \
-  str2int.smt2 \
+  type001.smt2 \
+  type002.smt2 \
+  type003.smt2 \
   model001.smt2 \
   substr001.smt2 \
   regexp001.smt2 \