No pattern matching over empty types in Haskell

[helm.git] / matita / components / ng_kernel / nCicExtraction.mli

diff --git a/matita/components/ng_kernel/nCicExtraction.mli b/matita/components/ng_kernel/nCicExtraction.mli
index b11f38654519d43148e1763eae759f237c181cce..e1a06852704b879455384459b58e9f1f8c220dc4 100644 (file)
--- 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