From 1d099af31d3415c89dfbb56c8fdc1a3bcf1309c7 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 4 Dec 2015 14:22:22 +0000
Subject: 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.

---
 lib/Solver/STPBuilder.h | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib')

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 {
-- 
cgit 1.4.1