Use of standard OCaml syntax

[helm.git] / matita / components / ng_extraction / ocaml.mli

diff --git a/matita/components/ng_extraction/ocaml.mli b/matita/components/ng_extraction/ocaml.mli
index c257804c02d09af1b6c473c754763d997f2ade06..4e3c5363e1affda3c1b6f2db89c24f72b5f5362c 100644 (file)
--- 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