Expose type environment after checking, for use in analysis

1 files changed, 1 insertions, 1 deletions

diff --git a/src/sail.ml b/src/sail.ml
index 0d66215a..12e90dd9 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -109,7 +109,7 @@ let main() =
       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,kenv,ord) = convert_ast ast in
-    let ast = check_ast ast kenv ord in 
+    let (ast,type_envs) = check_ast ast kenv ord in 
     let ast = rewrite_ast ast in
     let out_name = match !opt_file_out with
       | None -> fst (List.hd parsed)