diff --git a/setup.py b/setup.py
index 5caaf7b..1dc7a18 100644
--- a/setup.py
+++ b/setup.py
@@ -19,7 +19,7 @@
     url='https://github.com/leonardt/hwtypes',
     author='Leonard Truong',
     author_email='lenny@cs.stanford.edu',
-    version='1.4.6',
+    version='1.4.7',
     description='Python implementations of fixed size hardware types (Bit, '
                 'BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics',
     scripts=[],