diff --git a/CHANGELOG.md b/CHANGELOG.md
index 18112e88..0efb4bb4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # CHANGES
 
+## 0.9.1
+
+- add `on_conflit` callback
+- fix termination issue when using `push_decision_lit` from plugin
+
 ## 0.9
 
 - feat: allow the theory to ask for some literals to be decided on
diff --git a/msat-bin.opam b/msat-bin.opam
index 99259285..ebba2627 100644
--- a/msat-bin.opam
+++ b/msat-bin.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat-bin"
 synopsis: "SAT solver binary based on the msat library"
 license: "Apache"
-version: "0.9"
+version: "0.9.1"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
diff --git a/msat.opam b/msat.opam
index 8b99d2b8..380c02e7 100644
--- a/msat.opam
+++ b/msat.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat"
 synopsis: "Library containing a SAT solver that can be parametrized by a theory"
 license: "Apache"
-version: "0.9"
+version: "0.9.1"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [