diff --git a/opam b/opam
index a31bf3dd..7732954a 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 license: "Apache"
-version: "dev"
+version: "0.1"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
 build: [
diff --git a/solver/mcsolver.ml b/solver/mcsolver.ml
index a6fa0acb..b20c1a0d 100644
--- a/solver/mcsolver.ml
+++ b/solver/mcsolver.ml
@@ -841,6 +841,7 @@ module Make (E : Expr_intf.S)
 
   let unsat_conflict () = env.unsat_conflict
 
+  (* Push/Pop *)
   type level = int
 
   let base_level = 0