From 7627d092c7dfbf7261d5a19c1f7e0b2170b9ad5e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 1 Dec 1999 22:57:50 +0000
Subject: Retour dans pretyping

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@181 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/retyping.mli | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 kernel/retyping.mli

(limited to 'kernel')

diff --git a/kernel/retyping.mli b/kernel/retyping.mli
deleted file mode 100644
index 6b0b95704b..0000000000
--- a/kernel/retyping.mli
+++ /dev/null
@@ -1,12 +0,0 @@
-
-(* $Id$ *)
-open Term
-open Evd
-open Environ
-
-type metamap = (int * constr) list
-
-val get_type_of : env -> 'a evar_map -> constr -> constr
-val get_type_of_with_meta : env -> 'a evar_map -> metamap -> constr -> constr
-val get_sort_of : env -> 'a evar_map -> constr -> sorts
-
-- 
cgit v1.2.3