| IPPrefix prefix -> "prefix = \"" ^ prefix ^ "\""
| IPAs flavour -> flavour_pp flavour
| IPProcedural -> "procedural"
- | IPDepth depth -> "depth = " ^ string_of_int depth
| IPNoDefaults -> "nodefaults"
+ | IPDepth depth -> "depth = " ^ string_of_int depth
+ | IPLevel level -> "level = " ^ string_of_int level
in
let s = String.concat " " (List.map pp_param l) in
if s = "" then s else " " ^ s