| E.Abbr v -> tag "GDef" attrs ~contents:(pp_term v)
| E.Void -> assert false
in
+ let opts = if !G.si then "si" else "" in
let shp = H.string_of_graph () in
- let attrs = [xmlns; "hierarchy", shp] in
+ let attrs = [xmlns; "hierarchy", shp; "options", opts] in
tag obj_root attrs ~contents out 0;
close_out och