diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-25 17:18:40 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-25 17:18:40 -0500 |
commit | a330794d87890f373d8e06c91bf6d6cc9fd662ff (patch) | |
tree | a172539094d536b112c7a84f274a8cc0950751b1 /src/util | |
parent | f6b6d827f41b5b3707a1d0a59311ee3d852244d2 (diff) |
fix for some nightly build failures
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
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 \ |