projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 19697d5)
Fix build (some nonexistent files listed in Makefile)
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 11 Feb 2014 02:05:09 +0000 (21:05 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 11 Feb 2014 02:05:45 +0000 (21:05 -0500)
test/regress/regress0/quantifiers/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am
index c478248da0d75b80513642aabdc4f4af3d5eeff1..9f4998fd8dd049fe58074b237b34121f612741e8 100644 (file)
--- 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