| 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 "