From fd73bccb5d2878aac540e0d6eb0421fb00d59e5d Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 22 Jan 2003 17:22:47 +0000
Subject: ajout de whd_state dans l'interface

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

diff --git a/pretyping/reductionops.mli b/pretyping/reductionops.mli
index a8d991cae7..5cf0bfd916 100644
--- a/pretyping/reductionops.mli
+++ b/pretyping/reductionops.mli
@@ -79,6 +79,7 @@ val whd_betadeltaiota_stack :  contextual_stack_reduction_function
 val whd_betadeltaiota_nolet_stack :  contextual_stack_reduction_function
 val whd_betaetalet_stack : local_stack_reduction_function
 
+val whd_state : local_state_reduction_function
 val whd_beta_state : local_state_reduction_function
 val whd_betaiota_state : local_state_reduction_function
 val whd_betaiotazeta_state : local_state_reduction_function
-- 
cgit v1.2.3