Commit 36e34d00 authored by BECKER Benedikt's avatar BECKER Benedikt

Correct printing of at-terms

parent 11b0ea10
......@@ -500,8 +500,10 @@ and pp_term fmt t =
pp_update pp_term fmt t fs
| Tscope (qid, t) ->
pp_scope pp_term fmt qid t
| Tat (t, {id_str="'Old"}) ->
fprintf fmt "old (%a)" pp_term t
| Tat (t, id) ->
fprintf fmt "(%a at %a)" pp_term t pp_id id
fprintf fmt "(%a) at %a" pp_term t pp_id id
and pp_spec fmt s =
if s.sp_reads <> [] then
......
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