Revert to development version

This reverts commit 658d15c.
n-osborne · Oct 24, 2023 · 1cb1911 · 1cb1911
1 parent 658d15c
commit 1cb1911
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 5 deletions.
diff --git a/bin/cli.ml b/bin/cli.ml
@@ -18,7 +18,7 @@ let () =
   | [] -> usage ()
   | cmds ->
       let doc = "Run ORTAC." in
-      let version = "ortac version 0.1.0" in
+      let version = "ortac version %%VERSION%%" in
       let info = Cmd.info "ortac" ~doc ~version in
       let group = Cmd.group info cmds in
       Stdlib.exit (Cmd.eval group)
diff --git a/dune-project b/dune-project
@@ -3,7 +3,6 @@
 (using mdx 0.4)
 
 (name ortac)
-(version 0.1.0)
 
 (package
  (name ortac-core)

diff --git a/ortac-core.opam b/ortac-core.opam
@@ -1,4 +1,3 @@
-version: "0.1.0"
 opam-version: "2.0"
 synopsis:
   "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"

diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
@@ -1,4 +1,3 @@
-version: "0.1.0"
 opam-version: "2.0"
 synopsis: "QCheck-STM plugin for Ortac"
 description: """\

diff --git a/ortac-runtime.opam b/ortac-runtime.opam
@@ -1,4 +1,3 @@
-version: "0.1.0"
 opam-version: "2.0"
 synopsis: "Runtime support library for Ortac-generated code"
 description: """\