From 47bde1826b6329650f8546ac1fca1f2e90d85fcb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 28 May 2001 08:40:59 +0000
Subject: option -quality

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

(limited to 'kernel')

diff --git a/kernel/closure.mli b/kernel/closure.mli
index 3d8fb71f3e..e401679181 100644
--- a/kernel/closure.mli
+++ b/kernel/closure.mli
@@ -50,6 +50,7 @@ val no_red : reds
 val beta_red : reds
 val betaiota_red : reds
 val betadeltaiota_red : reds
+val betaiotazeta_red : reds
 val unfold_red : evaluable_global_reference -> reds
 
 (* Tests if a reduction kind is set *)
-- 
cgit v1.2.3