From 9a3adaec00e4d36619a2eb78756914b22cde2a36 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 18 Oct 2018 07:37:43 -0500
Subject: Constant length regular expression elimination (#2646)

---
 test/regress/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/regress/CMakeLists.txt')

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index aef40d373..cd95c6653 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -1713,6 +1713,7 @@ set(regress_2_tests
   regress2/strings/cmu-disagree-0707-dd.smt2
   regress2/strings/cmu-prereg-fmf.smt2
   regress2/strings/cmu-repl-len-nterm.smt2
+  regress2/strings/issue918.smt2
   regress2/strings/non_termination_regular_expression6.smt2
   regress2/strings/norn-dis-0707-3.smt2
   regress2/strings/repl-repl.smt2
-- 
cgit v1.2.3