From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 11 Feb 2014 02:05:09 +0000 (-0500)
Subject: Fix build (some nonexistent files listed in Makefile)
X-Git-Tag: cvc5-1.0.0~7100
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9fc5c9d2c52b22cd3246f78dff7e1027675f288e;p=cvc5.git

Fix build (some nonexistent files listed in Makefile)
---

diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am
index c478248da..9f4998fd8 100644
--- a/test/regress/regress0/quantifiers/Makefile.am
+++ b/test/regress/regress0/quantifiers/Makefile.am
@@ -62,9 +62,7 @@ TESTS =	\
 
 EXTRA_DIST = $(TESTS) \
 	bug291.smt2.expect \
-	array-unsat-simp3.smt2.expect \
-	ex1.smt2.expect \
-	ex7.smt2.expect
+	array-unsat-simp3.smt2.expect
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else