diff --git a/deal_solver/__init__.py b/deal_solver/__init__.py
index 9c17983..4f7ceb3 100644
--- a/deal_solver/__init__.py
+++ b/deal_solver/__init__.py
@@ -9,7 +9,7 @@
 from ._theorem import Conclusion, Proof, Theorem
 
 
-__version__ = '0.1.1'
+__version__ = '0.1.2'
 __all__ = [
     'Theorem',
     'Conclusion',