From 28027d15202a0dea0c13f5b01188ec3f1c4f0c38 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 22 Oct 2014 09:51:23 -0400
Subject: [PATCH] Fix bug590 regression distcheck failure from last night.

---
 test/regress/regress0/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.30.2