From 64e8ad696a1accdf489a3073cc480f591be04c39 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 26 Sep 2019 21:53:45 -0500
Subject: CVC print support for recoverable failure (#3323)

---
 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 a1be9ad62..d4cc9b293 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -332,6 +332,7 @@ set(regress_0_tests
   regress0/cvc3.userdoc.04.cvc
   regress0/cvc3.userdoc.05.cvc
   regress0/cvc3.userdoc.06.cvc
+  regress0/cvc-rerror-print.cvc
   regress0/datatypes/Test1-tup-mp.cvc
   regress0/datatypes/boolean-equality.cvc
   regress0/datatypes/boolean-terms-datatype.cvc
-- 
cgit v1.2.3