diff options
Diffstat (limited to 'lib/cErrors.ml')
-rw-r--r-- | lib/cErrors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cErrors.ml b/lib/cErrors.ml index b0e77a4c9..8ef11a2cd 100644 --- a/lib/cErrors.ml +++ b/lib/cErrors.ml @@ -77,7 +77,7 @@ let where = function if !Flags.debug then str "in " ++ str s ++ str ":" ++ spc () else mt () let raw_anomaly e = match e with - | Anomaly (s, pps) -> where s ++ pps ++ str "." + | Anomaly (s, pps) -> where s ++ pps | Assert_failure _ | Match_failure _ -> str (Printexc.to_string e) ++ str "." | _ -> str "Uncaught exception " ++ str (Printexc.to_string e) ++ str "." |