X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2Focaml.mli;h=4e3c5363e1affda3c1b6f2db89c24f72b5f5362c;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=c257804c02d09af1b6c473c754763d997f2ade06;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/components/ng_extraction/ocaml.mli b/matita/components/ng_extraction/ocaml.mli
index c257804c0..4e3c5363e 100644
--- a/matita/components/ng_extraction/ocaml.mli
+++ b/matita/components/ng_extraction/ocaml.mli
@@ -12,6 +12,6 @@ open Coq
 open Miniml
 open OcamlExtractionTable
 
-val pp_decl : #status as 'status -> ml_decl -> 'status * std_ppcmds
-val pp_spec : #status as 'status -> ml_spec -> 'status * std_ppcmds
-val pp_open : #status as 'status -> string -> 'status * std_ppcmds
+val pp_decl : (#status as 'status) -> ml_decl -> 'status * std_ppcmds
+val pp_spec : (#status as 'status) -> ml_spec -> 'status * std_ppcmds
+val pp_open : (#status as 'status) -> string -> 'status * std_ppcmds