X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicReduction.mli;h=006dba9d4ed7b88615e6bc3a417d977791fc7bf8;hb=9a1fa3669e18e6316df66c76a7316aa6a1826157;hp=696723bf6ad158b4bab916b2c5c9c72a4e7505c5;hpb=05adc7f9da7d66a14fd4417911e9f22b9bf9583f;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicReduction.mli b/helm/software/components/ng_kernel/nCicReduction.mli
index 696723bf6..006dba9d4 100644
--- a/helm/software/components/ng_kernel/nCicReduction.mli
+++ b/helm/software/components/ng_kernel/nCicReduction.mli
@@ -12,7 +12,7 @@
 (* $Id$ *)
 
 val whd : 
-  ?delta:int -> ?subst:NCic.substitution -> 
+  ?delta:int -> subst:NCic.substitution -> 
   NCic.context -> NCic.term -> 
     NCic.term