-
Andrei Paskevich authored
This is necessary so that rsymbols can be printed consistently in Expr. Also, Pretty.print_vs uses Ident.print_decoded now, since variables can have operator names.
49251b32
This is necessary so that rsymbols can be printed consistently in Expr. Also, Pretty.print_vs uses Ident.print_decoded now, since variables can have operator names.