diff options
Diffstat (limited to 'tools/depend.ml')
| -rw-r--r-- | tools/depend.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 2d3668a0d8..5abc68aae6 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -171,6 +171,7 @@ let rec add_expr bv exp = List.iter (fun (po, e) -> add_opt add_type bv po; add_expr bv e) cases + | Pexp_regexp _ -> assert false and add_pat_expr_list bv pel = List.iter (fun (p, e) -> add_pattern bv p; add_expr bv e) pel |