From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 25 Dec 2013 22:18:40 +0000 (-0500)
Subject: fix for some nightly build failures
X-Git-Tag: cvc5-1.0.0~7174^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a330794d87890f373d8e06c91bf6d6cc9fd662ff;p=cvc5.git

fix for some nightly build failures
---

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 2f278625a..1d6ce1a73 100644
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -144,7 +144,8 @@ EXTRA_DIST = \
 	predicate.i \
 	uninterpreted_constant.i \
 	chain.i \
-	regexp.i
+	regexp.i \
+	proof.i
 
 DISTCLEANFILES = \
 	integer.h.tmp \