Commit b9abeaea authored by Julien Lopez's avatar Julien Lopez

[MINOR] Don't print sigmas for user

parent fd3c42d6
......@@ -363,9 +363,9 @@ let rec print ppf v =
Format.fprintf ppf "\"")
else if is_seq v then Format.fprintf ppf "[ @[<hv>%a@]]" pp_seq v
else match v with
| Pair (x,y,sigma) -> Format.fprintf ppf "(%a,%a,%a)" print x print y Print.pp_sigma sigma
| Pair (x,y,_) -> Format.fprintf ppf "(%a,%a)" print x print y
| Xml (x,y,z,sigma) | XmlNs (x,y,z,_,sigma) -> pp_xml ppf x y z (* sigma *)
| Record (l,sigma) -> Format.fprintf ppf "@[{%a },%a@]" pp_record (Imap.elements l) Print.pp_sigma sigma
| Record (l,_) -> Format.fprintf ppf "@[{%a }@]" pp_record (Imap.elements l)
| Atom a -> Atoms.V.print ppf a
| Integer i -> Intervals.V.print ppf i
| Char c -> Chars.V.print ppf c
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment