1 files changed, 3 insertions, 17 deletions
diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp
index ddeb3c37..4bd0145f 100644
--- a/lib/Solver/STPBuilder.cpp
+++ b/lib/Solver/STPBuilder.cpp
@@ -72,13 +72,9 @@ STPArrayExprHash::~STPArrayExprHash() {
 
 /***/
 
-STPBuilder::STPBuilder(::VC _vc, bool _optimizeDivides) 
-  : vc(_vc), optimizeDivides(_optimizeDivides)
-{
-  tempVars[0] = buildVar("__tmpInt8", 8);
-  tempVars[1] = buildVar("__tmpInt16", 16);
-  tempVars[2] = buildVar("__tmpInt32", 32);
-  tempVars[3] = buildVar("__tmpInt64", 64);
+STPBuilder::STPBuilder(::VC _vc, bool _optimizeDivides)
+  : vc(_vc), optimizeDivides(_optimizeDivides) {
+
 }
 
 STPBuilder::~STPBuilder() {
@@ -111,16 +107,6 @@ STPBuilder::~STPBuilder() {
   return res;
 }
 
-ExprHandle STPBuilder::getTempVar(Expr::Width w) {
-  switch (w) {
-  default: assert(0 && "invalid type");
-  case Expr::Int8: return tempVars[0];
-  case Expr::Int16: return tempVars[1];
-  case Expr::Int32: return tempVars[2];
-  case Expr::Int64: return tempVars[3];
-  }
-}
-
 ExprHandle STPBuilder::getTrue() {
   return vc_trueExpr(vc);
 }