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