From: Tim King <taking@cs.nyu.edu>
Date: Sun, 28 Apr 2013 22:15:20 +0000 (-0400)
Subject: Fixing the failure for make distcheck.
X-Git-Tag: cvc5-1.0.0~7311
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d0514a37c2bf753ae5da35b2c350f2d681f9a752;p=cvc5.git

Fixing the failure for make distcheck.
---

diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am
index c5b07c3a5..3c664d806 100644
--- 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 \