prepare for 0.4.2

c-cube · Jan 21, 2018 · 92ae3eb · 92ae3eb
1 parent b3015a2
commit 92ae3eb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/README.adoc b/README.adoc
@@ -44,7 +44,7 @@ opam install smbc
 Or manually, using
 
 ----
-opam install msat containers sequence tip-parser menhir
+opam install msat containers sequence tip-parser
 make
 ----
 

diff --git a/smbc.opam b/smbc.opam
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-version: "0.4.1"
+version: "0.4.2"
 maintainer: "simon.cruanes.2007@m4x.org"
 author: "Simon Cruanes"
 homepage: "https://github.com/c-cube/smbc"
@@ -13,7 +13,6 @@ depends: [
   "sequence" { >= "0.4" }
   "msat" { >= "0.5" & < "0.8" }
   "tip-parser" { >= "0.3" }
-  "menhir"
 ]
 available: [
     ocaml-version >= "4.03"