From 4b25650c4d7c9c8e321fdc793989064ba1216e96 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 18 Dec 2014 16:17:52 +0100
Subject: [PATCH] Updated version number in opam to 0.1

---
 opam               | 2 +-
 solver/mcsolver.ml | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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