From e39d865bbd2013ef1ef811aafbf0ddcd7a691f6e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 27 Nov 2000 10:33:24 +0000
Subject: Utilisation de Let In pour les constantes locales, prise en compte
 des Let In dans le discharge, l'unification de evarconv et l'unification de
 clenv

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@979 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/closure.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/closure.mli')

diff --git a/kernel/closure.mli b/kernel/closure.mli
index bf855b2624..b546942e17 100644
--- a/kernel/closure.mli
+++ b/kernel/closure.mli
@@ -28,6 +28,7 @@ type red_kind =
   | IOTA
   | CONST of section_path list
   | CONSTBUT of section_path list
+  | VAR of identifier
 
 (* Sets of reduction kinds. *)
 type reds
-- 
cgit v1.2.3