From d0514a37c2bf753ae5da35b2c350f2d681f9a752 Mon Sep 17 00:00:00 2001 From: Tim King Date: Sun, 28 Apr 2013 18:15:20 -0400 Subject: [PATCH] Fixing the failure for make distcheck. --- src/theory/arith/Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.30.2