fix for some nightly build failures

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 2f278625a9a0310d8009186b87a85a839b547e3d..1d6ce1a7368cb8e37ccf0a6ecd86f9bb7bb9d172 100644 (file)
--- 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 \