1 files changed, 0 insertions, 1 deletions

diff --git a/disml.opam b/disml.opam
index 4f35302..313018b 100644
--- a/disml.opam
+++ b/disml.opam
@@ -1,4 +1,3 @@
-version: "cbb1e47-dirty"

 opam-version: "2.0"

 name: "disml"

 version: "0.2.5"