Bump version number.

brandtbucher · brandtbucher · commit f87ba0ab4300 · 2019-11-01T09:12:22.000-07:00
diff --git a/hax/__init__.py b/hax/__init__.py
@@ -3,7 +3,7 @@
 from ._hax import HaxCompileError, hax
 
 
-__version__ = "0.1.1"
+__version__ = "0.2.0"
 
 
 del _checks, _hax, _helpers
