- match res with
- None ->
-(* print_ppcmds status
- (str("(* " ^ NUri.string_of_uri uri ^ " non informative *)\n")++ fnl ());*)
- status
- | Some ml ->
- let status,std_ppcmds = Ocaml.pp_decl status ml in
- print_ppcmds status ~in_ml:true (std_ppcmds ++ fnl ());
- status
+ let status,_ =
+ map_status status
+ (fun status ml ->
+ let status,cmds = Ocaml.pp_decl status ml in
+ print_ppcmds ~in_ml:true status (cmds ++ fnl () ++ fnl ());
+ status,()) res in
+ status