summaryrefslogtreecommitdiff
path: root/src/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.ml')
-rw-r--r--src/main.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main.ml b/src/main.ml
index 15468d6c..4740f14c 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -2,7 +2,7 @@ open CfimOfJson
open Logging
open Print
module T = Types
-module A = CfimAst
+module A = LlbcAst
module I = Interpreter
module EL = Easy_logging.Logging
module TA = TypesAnalysis
@@ -102,7 +102,7 @@ let () =
let filename =
match !filenames with
| [ f ] ->
- if not (Filename.check_suffix f ".cfim") then (
+ if not (Filename.check_suffix f ".llbc") then (
print_string "Unrecognized file extension";
fail ())
else if not (Sys.file_exists f) then (
@@ -123,7 +123,7 @@ let () =
* command-line arguments *)
Easy_logging.Handlers.set_level main_logger_handler EL.Info;
main_log#set_level EL.Info;
- cfim_of_json_logger#set_level EL.Info;
+ llbc_of_json_logger#set_level EL.Info;
pre_passes_log#set_level EL.Info;
interpreter_log#set_level EL.Info;
statements_log#set_level EL.Info;
@@ -139,7 +139,7 @@ let () =
translate_log#set_level EL.Info;
(* Load the module *)
let json = Yojson.Basic.from_file filename in
- match cfim_module_of_json json with
+ match llbc_module_of_json json with
| Error s ->
main_log#error "error: %s\n" s;
exit 1