X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicExtraction.mli;h=e1a06852704b879455384459b58e9f1f8c220dc4;hb=01dd8b3dcbf02a9645152496d64f649afbbd22b9;hp=b11f38654519d43148e1763eae759f237c181cce;hpb=4999662218e409f0a5d26515dc0f63928c607426;p=helm.git

diff --git a/matita/components/ng_kernel/nCicExtraction.mli b/matita/components/ng_kernel/nCicExtraction.mli
index b11f38654..e1a068527 100644
--- a/matita/components/ng_kernel/nCicExtraction.mli
+++ b/matita/components/ng_kernel/nCicExtraction.mli
@@ -28,4 +28,4 @@ class virtual status :
 
 
 (* Haskell *)
-val haskell_of_obj: (#status as 'status) -> NCic.obj -> 'status * string option
+val haskell_of_obj: (#status as 'status) -> NCic.obj -> 'status * string