diff options
| author | Son Ho | 2022-03-03 23:34:19 +0100 |
|---|---|---|
| committer | Son Ho | 2022-03-03 23:34:19 +0100 |
| commit | 985401f124ebd6a257b13bb2f5f01378cc5f0ce5 (patch) | |
| tree | b3f1cac111293f6baf5651a7a5ec5902e491b5cf /src | |
| parent | 85956db556c182f72e53ffcb91d32dd2e21d81f1 (diff) | |
Change the extension of the serialized files to .llbc
Diffstat (limited to '')
| -rw-r--r-- | src/Translate.ml | 2 | ||||
| -rw-r--r-- | src/main.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index d337f5b8..1a42892d 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -602,7 +602,7 @@ let translate_module (filename : string) (dest_dir : string) (config : config) (* First compute the filename by replacing the extension and converting the * case (rust module names are snake case) *) let module_name, extract_filebasename = - match Filename.chop_suffix_opt ~suffix:".cfim" filename with + match Filename.chop_suffix_opt ~suffix:".llbc" filename with | None -> (* Note that we already checked the suffix upon opening the file *) failwith "Unreachable" diff --git a/src/main.ml b/src/main.ml index 6d4888f9..00693890 100644 --- a/src/main.ml +++ b/src/main.ml @@ -103,7 +103,7 @@ let () = match !filenames with | [ f ] -> (* TODO: update the extension *) - if not (Filename.check_suffix f ".cfim") then ( + if not (Filename.check_suffix f ".llbc") then ( print_string "Unrecognized file extension"; fail ()) else if not (Sys.file_exists f) then ( |