summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/Translate.ml2
-rw-r--r--src/main.ml2
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 (