diff options
Diffstat (limited to 'library/summary.ml')
| -rw-r--r-- | library/summary.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/summary.ml b/library/summary.ml index a31f61c31..c6de35744 100644 --- a/library/summary.ml +++ b/library/summary.ml @@ -29,7 +29,7 @@ let internal_declare_summary sumname sdecl = init_function = dyn_init } in if Hashtbl.mem summaries sumname then - anomalylabstrm "Summary.declare_summary" + anomaly ~label:"Summary.declare_summary" (str "Cannot declare a summary twice: " ++ str sumname); Hashtbl.add summaries sumname ddecl |