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.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/process_file.mli')

diff --git a/src/process_file.mli b/src/process_file.mli
index aa8d3265..e2c04cd2 100644
--- a/src/process_file.mli
+++ b/src/process_file.mli
@@ -45,7 +45,7 @@ val convert_ast : Parse_ast.defs -> Type_internal.tannot Ast.defs * Type_interna
 val initi_check_ast : Type_internal.tannot Ast.defs -> Type_internal.tannot Ast.defs * Type_internal.kind Type_internal.Envmap.t * Ast.order
 val check_ast: Type_internal.tannot Ast.defs -> Type_internal.kind Type_internal.Envmap.t -> Ast.order -> Type_internal.tannot Ast.defs * Type_check.envs
 val rewrite_ast: Type_internal.tannot Ast.defs -> Type_internal.tannot Ast.defs
-val rewrite_ast_lem : Type_internal.tannot Ast.defs -> Type_internal.tannot Ast.defs
+val rewrite_ast_lem : Type_check.envs -> Type_internal.tannot Ast.defs -> Type_internal.tannot Ast.defs
 val rewrite_ast_ocaml : Type_internal.tannot Ast.defs -> Type_internal.tannot Ast.defs
 
 val opt_new_typecheck : bool ref
-- 
cgit v1.2.3