From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 7 Jul 2010 07:51:08 +0000 (+0000)
Subject: Fix the building of the stp library.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=afbd203f3f81ee5ed3c3bcb18a4b661d5c7c56be;p=francis%2Fstp.git

Fix the building of the stp library.



git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@934 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index e5f4783..a4bbc63 100644
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -40,10 +40,10 @@ endif
 			   $(SRC)/printer/*.o \
 		           $(SRC)/absrefine_counterexample/*.o \
 			   $(SRC)/to-sat/*.o \
+		       $(SRC)/to-sat/AIG/*.o  \
 			   $(SRC)/sat/*.o \
 			   $(SRC)/simplifier/*.o  \
 		       $(SRC)/simplifier/constantBitP/*.o  \
-		       $(SRC)/simplifier/AIG/*.o  \
 			   $(SRC)/extlib-constbv/*.o \
 			   $(SRC)/extlib-abc/*/*/*.o \
 			   $(SRC)/c_interface/*.o \