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 3500b213..c7c14a67 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -132,7 +132,7 @@ let main() = let ast = List.fold_right (fun (_,(Parse_ast.Defs ast_nodes)) (Parse_ast.Defs later_nodes) -> Parse_ast.Defs (ast_nodes@later_nodes)) parsed (Parse_ast.Defs []) in - let ast = convert_ast ast in + let ast = convert_ast Type_check.inc_ord ast in let (ast, type_envs) = check_ast ast in let (ast, type_envs) = |