From bc75b2db94597f5f28d8564cc06481dfb5ff13ee Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 26 Jan 2011 00:03:25 +0000 Subject: [PATCH] Fix. The c-api wasn't working because refactored object files were missing. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1090 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index be4ea84..d926093 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -32,6 +32,7 @@ all: AST STPManager absrefine_counterexample to-sat simplifier printer c_interfa $(SRC)/absrefine_counterexample/*.o \ $(SRC)/to-sat/*.o \ $(SRC)/to-sat/AIG/*.o \ + $(SRC)/to-sat/ASTNode/*.o \ $(SRC)/sat/*.o \ $(SRC)/sat/core/Solver.or \ $(SRC)/sat/simp/SimpSolver.or \ -- 2.47.3