From e70cd5b0764fe50f1e081a7d3e8e81fd623aa090 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 7 Nov 2013 16:11:02 +0000
Subject: Remove STPBuilder::getShiftBits() which is no longer used.

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

(limited to 'lib')

diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index 42ca9eaf..ef1cd8b3 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -79,13 +79,6 @@ class STPBuilder {
   STPArrayExprHash _arr_hash;
 
 private:  
-  unsigned getShiftBits(unsigned amount) {
-    unsigned bits = 1;
-    amount--;
-    while (amount >>= 1)
-      bits++;
-    return bits;
-  }
 
   ExprHandle bvOne(unsigned width);
   ExprHandle bvZero(unsigned width);
-- 
cgit 1.4.1