diff options
Diffstat (limited to 'backend/JsonAST.ml')
| -rw-r--r-- | backend/JsonAST.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/JsonAST.ml b/backend/JsonAST.ml index 599c6ecb..4e57106f 100644 --- a/backend/JsonAST.ml +++ b/backend/JsonAST.ml @@ -123,7 +123,7 @@ let pp_mnemonics pp mnemonic_names = let new_line pp () = pp_print_string pp "\n" in pp_print_list ~pp_sep:new_line pp_print_string pp mnemonic_names -let jdump_magic_number = "CompCertJDUMP" ^ Version.version +let jdump_magic_number = "CompCertJDUMPRelease: " ^ Version.version let pp_ast pp pp_inst ast sourcename = let get_args () = |