From a980b6417e3b199dc1dd55dffba2497dba8e0b52 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 6 Jul 2010 01:35:43 +0000 Subject: [PATCH] Fix. stp.a didn't have necessary cbitp file included. Thanks to Peter Collingbourne for the patch. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@929 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 615730f..8dea8ff 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -42,6 +42,7 @@ endif $(SRC)/to-sat/*.o \ $(SRC)/sat/*.o \ $(SRC)/simplifier/*.o \ + $(SRC)/simplifier/constantBitP/*.o \ $(SRC)/extlib-constbv/*.o \ $(SRC)/extlib-abc/*/*/*.o \ $(SRC)/c_interface/*.o \ -- 2.47.3