- | NSmartApply (_,t) -> "fixme"
- | NAuto (_,(None,flgs)) ->
- "nautobatch" ^
- String.concat " " (List.map (fun a,b -> a ^ "=" ^ b) flgs)
- | NAuto (_,(Some l,flgs)) ->
- "nautobatch" ^ " by " ^
- (String.concat "," (List.map CicNotationPp.pp_term l)) ^
+ | NAuto (_,(l,flgs)) ->
+ "nauto" ^
+ (if l <> [] then (" by " ^
+ (String.concat "," (List.map CicNotationPp.pp_term l))) else "") ^