From 79381fca4cabdcf9d15a7f29b2d4c7551a6053c6 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@inria.fr>
Date: Fri, 22 Dec 2023 13:53:28 +0100
Subject: [PATCH] Current version is 2023.06.2

---
 compiler/src/glob_options.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/src/glob_options.ml b/compiler/src/glob_options.ml
index 0e35a6c34..95483449f 100644
--- a/compiler/src/glob_options.ml
+++ b/compiler/src/glob_options.ml
@@ -1,6 +1,6 @@
 open Utils
 (*--------------------------------------------------------------------- *)
-let version_string = "Jasmin Compiler @VERSION@"
+let version_string = "Jasmin Compiler 2023.06.2"
 (*--------------------------------------------------------------------- *)
 let outfile = ref ""
 let latexfile = ref ""