From 4ba73e1e36a8ebda34d8d3afa6dbeff6256d262a Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 12 Jul 2017 13:09:46 +0100
Subject: Add checks for variable identifiers in pattern subsumption

---
 src/process_file.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index 2425a9bb..cfd27265 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -114,7 +114,7 @@ let check_ast (defs : Type_internal.tannot Ast.defs) (k : kind Envmap.t) (o:Ast.
   Type_check.check (Type_check.Env (d_env, Type_internal.initial_typ_env,Type_internal.nob,Envmap.empty)) defs 
 
 let rewrite_ast (defs: Type_internal.tannot Ast.defs) = Rewriter.rewrite_defs defs
-let rewrite_ast_lem (defs: Type_internal.tannot Ast.defs) = Rewriter.rewrite_defs_lem defs
+let rewrite_ast_lem (Type_check.Env (_, typ_env, _, _)) (defs: Type_internal.tannot Ast.defs) = Rewriter.rewrite_defs_lem typ_env defs
 let rewrite_ast_ocaml (defs: Type_internal.tannot Ast.defs) = Rewriter.rewrite_defs_ocaml defs
 
 let open_output_with_check file_name =
@@ -237,4 +237,3 @@ let output libpath out_arg files =
     (fun (f, defs) ->
        output1 libpath out_arg f defs)
     files
-
-- 
cgit v1.2.3