projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9098391)
Fixing the failure for make distcheck.
authorTim King <taking@cs.nyu.edu>
Sun, 28 Apr 2013 22:15:20 +0000 (18:15 -0400)
committerTim King <taking@cs.nyu.edu>
Sun, 28 Apr 2013 22:15:20 +0000 (18:15 -0400)
src/theory/arith/Makefile.am patch | blob | history

diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am
index c5b07c3a5cba7e81e515faa356cf2545c0f3f972..3c664d8067607aedb1696daf6052c7b1d8563e01 100644 (file)
--- a/src/theory/arith/Makefile.am
+++ b/src/theory/arith/Makefile.am
@@ -55,6 +55,7 @@ libarith_la_SOURCES = \
        pure_update_simplex.cpp \
        theory_arith.h \
        theory_arith.cpp \
+       theory_arith_private_forward.h \
        theory_arith_private.h \
        theory_arith_private.cpp \
        dio_solver.h \