From 6c1fe8a8825890ad78d55cf9f1d49c17adeaaf70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Christophe=20L=C3=A9chenet?=
 <jean-christophe.lechenet@inria.fr>
Date: Tue, 11 Apr 2023 17:12:10 +0200
Subject: [PATCH] Current version is 2022.09.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 f6bad75d5..935915cf1 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 2022.09.2"
 (*--------------------------------------------------------------------- *)
 let infile = ref ""
 let outfile = ref ""