about summary refs log tree commit diff homepage
path: root/lib/Solver/STPBuilder.h
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-12-04 14:22:22 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2015-12-04 14:22:22 +0000
commit1d099af31d3415c89dfbb56c8fdc1a3bcf1309c7 (patch)
tree2e10b333c8e9cb2c224138677f3bd07f47ed976f /lib/Solver/STPBuilder.h
parent61332cd6174b88148c4f891845ab181f0ee054ca (diff)
downloadklee-1d099af31d3415c89dfbb56c8fdc1a3bcf1309c7.tar.gz
Remove dead ifdef in STPBuilder header file. There is no
``stp/stplog.h`` header file in the current version of STP
and no support in the build system for setting this define so
this code is completly dead.
Diffstat (limited to 'lib/Solver/STPBuilder.h')
-rw-r--r--lib/Solver/STPBuilder.h4
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index e196a064..3b17ccf1 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -18,10 +18,6 @@
 
 #define Expr VCExpr
 #include <stp/c_interface.h>
-
-#if ENABLE_STPLOG == 1
-#include "stp/stplog.h"
-#endif
 #undef Expr
 
 namespace klee {