diff --git a/satysfi.opam b/satysfi.opam
index 91799748e..92638f252 100644
--- a/satysfi.opam
+++ b/satysfi.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "satysfi"
-version: "0.0.2"
+version: "0.0.3"
 maintainer: "gfngfn"
 authors: [
   "gfngfn"