diff options
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 8 |
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 |