-
Simon Marlow authored
Otherwise :print only works for local identifiers, not global ones. In fact it was silently failing, so I fixed that too.
ab13303c
Otherwise :print only works for local identifiers, not global ones. In fact it was silently failing, so I fixed that too.