1 files changed, 1 insertions, 1 deletions
diff --git a/opam b/opam
index 8b0bd376..51c2170e 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "sail"
-version: "0.13"
+version: "0.14"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"