diff options
Diffstat (limited to 'compiler/Driver.ml')
| -rw-r--r-- | compiler/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index ae9d238a..c8a1fef4 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -148,7 +148,7 @@ let () = (* Load the module *) let json = Yojson.Basic.from_file filename in - match llbc_crate_of_json json with + match crate_of_json json with | Error s -> main_log#error "error: %s\n" s; exit 1 |