projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 58e47f7)
Fix bug590 regression distcheck failure from last night.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 22 Oct 2014 13:51:23 +0000 (09:51 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 22 Oct 2014 13:51:23 +0000 (09:51 -0400)
test/regress/regress0/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 11d0647bc263fdf139144f9b65f2d0a001d2941b..fae563973553304919a4f86f35a4033d49a78bc2 100644 (file)
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -177,7 +177,8 @@ DISABLED_TESTS = \
 
 EXTRA_DIST = $(TESTS) \
        simplification_bug4.smt2.expect \
-       bug216.smt2.expect
+       bug216.smt2.expect \
+       bug590.smt2.expect
 
 if CVC4_BUILD_PROFILE_COMPETITION
 else