diff options
Diffstat (limited to 'lib/errors.ml')
| -rw-r--r-- | lib/errors.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/errors.ml b/lib/errors.ml index 9df276465d..45e0f9fdf2 100644 --- a/lib/errors.ml +++ b/lib/errors.ml @@ -114,4 +114,5 @@ let noncritical = function | Sys.Break | Out_of_memory | Stack_overflow | Assert_failure _ | Match_failure _ | Anomaly _ | Timeout | Drop | Quit -> false + | Invalid_argument "equal: functional value" -> false | _ -> true |