diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-22 09:51:23 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-22 09:51:23 -0400 |
commit | 28027d15202a0dea0c13f5b01188ec3f1c4f0c38 (patch) | |
tree | b7b298d3285d6f73c113ce6893bb3e4488d6f285 | |
parent | 58e47f72906773748183a141f314a21f5b970b0b (diff) |
Fix bug590 regression distcheck failure from last night.
-rw-r--r-- | test/regress/regress0/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index 11d0647bc..fae563973 100644 --- 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 |