From 1cb1911ff41f5af3c8c66033c904d5a52cee89c0 Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
Date: Tue, 24 Oct 2023 17:07:33 +0200
Subject: [PATCH] Revert to development version

This reverts commit 658d15c5a84e67b82dcd0a10c0f92897022fe720.
---
 bin/cli.ml            | 2 +-
 dune-project          | 1 -
 ortac-core.opam       | 1 -
 ortac-qcheck-stm.opam | 1 -
 ortac-runtime.opam    | 1 -
 5 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/bin/cli.ml b/bin/cli.ml
index c947c328..016c79dd 100644
--- 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
index 42d5e08d..8cd96c93 100644
--- 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
index 897d743e..8abe7714 100644
--- 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
index 59d8ddca..5dbcd01d 100644
--- 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
index 67a86b98..c24f029e 100644
--- 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: """\