Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

1 files changed, 2 insertions, 1 deletions

diff --git a/opam b/opam
index 9912925e..8f9310ea 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.10"
+version: "0.12"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
@@ -37,5 +37,6 @@ depends: [
   "conf-zlib"
   "base64" {< "3.0.0"}
   "yojson"
+  "pprint"
 ]
 available: [ocaml-version >= "4.06.1"]