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 ""