| NAuto (_,(None,flgs)) ->
"nautobatch" ^
String.concat " " (List.map (fun a,b -> a ^ "=" ^ b) flgs)
- | NAuto (_,(Some l,flgs)) ->
+ | NAuto (_,(Some (_,l),flgs)) ->
"nautobatch" ^ " by " ^
(String.concat "," (List.map (NotationPp.pp_term status) l)) ^
String.concat " " (List.map (fun a,b -> a ^ "=" ^ b) flgs)
| NUnivConstraint (_) -> "not supported"
| NCoercion (_) -> "not supported"
| NObj (_,obj) -> NotationPp.pp_obj (NotationPp.pp_term status) obj
- | NQed (_) -> "nqed"
+ | NQed (_,_) -> "nqed"
| NCopy (_,name,uri,map) ->
"copy " ^ name ^ " from " ^ NUri.string_of_uri uri ^ " with " ^
String.concat " and "