Bump version to 4.1.2

Author: IagoAbal

CHANGES.md

@@ -1,6 +1,13 @@
 
 # Release Notes
 
+## 4.1.2
+
+This minor release extends the supported quantifiers API, and adds
+partial support for Z3's proof tactics.
+
+* Improved support for theorem proving with quantifiers. (Jakub Daniel)
+
 ## 4.1.1
 
 Another small release, made possible thanks to third-party contributions.

z3.cabal

@@ -1,5 +1,5 @@
 Name:                z3
-Version:             4.1.1
+Version:             4.1.2
 Synopsis:            Bindings for the Z3 Theorem Prover
 Description:
     Bindings for the Z3 4./x/ Theorem Prover (<https://github.com/Z3Prover/z3>).