Fix build.

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

diff --git a/src/simplifier/constantBitP/ConstantBitPropagation.cpp b/src/simplifier/constantBitP/ConstantBitPropagation.cpp
index 192aad0c94d98d321d6cff6acb3dbe3be2911ce1..94070a49998bc1bb8c7297d6d45cf332bbd43a16 100644 (file)
--- a/src/simplifier/constantBitP/ConstantBitPropagation.cpp
+++ b/src/simplifier/constantBitP/ConstantBitPropagation.cpp
@@ -8,8 +8,8 @@
 #include <iostream>
 #include <fstream>
 
-#ifdef WITHCBITP
   #include "ConstantBitP_TransferFunctions.h"
+#ifdef WITHCBITP
   #include "ConstantBitP_MaxPrecision.h"
 #endif