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