diff options
| author | Son Ho | 2022-10-13 18:22:28 +0200 |
|---|---|---|
| committer | Son Ho | 2022-10-13 18:22:28 +0200 |
| commit | 10e9c20073e1fcd3acf1194b9074a21bdccd44ca (patch) | |
| tree | 32b71f13ffa03c1927cd0ff45820cc2a8b808954 /src/main.ml | |
| parent | e7b4aba11391bede785799237a73ef7bd16d0372 (diff) | |
Rename Modules to Crates
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |