diff options
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 |