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 c315e0cd2..210a1a81b 100644 --- a/library/summary.ml +++ b/library/summary.ml @@ -34,7 +34,7 @@ let declare_summary sumname sdecl = in if Hashtbl.mem summaries sumname then anomalylabstrm "Summary.declare_summary" - [< 'sTR "Cannot declare a summary twice: " ; 'sTR sumname >]; + (str "Cannot declare a summary twice: " ++ str sumname); Hashtbl.add summaries sumname ddecl type frozen = Dyn.t Stringmap.t |