From 10e9c20073e1fcd3acf1194b9074a21bdccd44ca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 13 Oct 2022 18:22:28 +0200
Subject: Rename Modules to Crates

---
 src/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 6b1083f5..b7868722 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -141,7 +141,7 @@ let () =
   translate_log#set_level EL.Info;
   (* Load the module *)
   let json = Yojson.Basic.from_file filename in
-  match llbc_module_of_json json with
+  match llbc_crate_of_json json with
   | Error s ->
       main_log#error "error: %s\n" s;
       exit 1
-- 
cgit v1.2.3