diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2entries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2entries.ml b/src/tac2entries.ml index d596a61152..7cffdc6590 100644 --- a/src/tac2entries.ml +++ b/src/tac2entries.ml @@ -757,7 +757,7 @@ let _ = Goptions.declare_bool_option { } let pr_frame = function -| FrAnon e -> str "Call <anonymous:" ++ pr_glbexpr e ++ str ">" +| FrAnon e -> str "Call {" ++ pr_glbexpr e ++ str "}" | FrLtac kn -> str "Call " ++ Libnames.pr_qualid (Tac2env.shortest_qualid_of_ltac (TacConstant kn)) | FrPrim ml -> |