diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sail.ml b/src/sail.ml index a3a52c1b..7359789b 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -396,7 +396,7 @@ let main() = then Printf.printf "L2 pre alpha \n" else let parsed = (List.map (fun f -> (f,(parse_file f))) !opt_file_arguments) in let asts = (List.map (fun (f,past) -> (f,convert_ast past)) parsed) in - let chkedasts = (List.map (fun (f,(ast,kenv)) -> (f,check_ast ast kenv)) asts) in + let chkedasts = (List.map (fun (f,(ast,kenv,ord)) -> (f,check_ast ast kenv ord)) asts) in begin (if !(opt_print_verbose) then ((Pretty_print.pp_defs stdout) (snd (List.hd chkedasts))) |