1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index 4353857c..a4d6d0f8 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -73,7 +73,7 @@ class STPBuilder {
 
 private:
   unsigned getShiftBits(unsigned amount) {
-    return (amount == 64) ? 6 : 5;
+    return (amount > 32) ? 6 : 5;
   }
 
   ExprHandle bvOne(unsigned width);