From 0434611785c169a1ca26f89ab3a3cb40b855390d Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Thu, 20 Feb 2014 19:52:20 -0600
Subject: [PATCH] fix makefile

---
 test/regress/regress0/strings/Makefile.am | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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 \
-- 
2.30.2