diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tree.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tree.ml b/src/tree.ml index d0faf80..ec312e7 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -205,7 +205,7 @@ let get_uses t = let get_isa t = let get_isa_ isa exporter pos classes = - if isa <> None || exporter <> None then die_with_pos pos "\"use base\" and \"@ISA\" must be used once only"; + if isa <> None || exporter <> None then warn_with_pos [Warn_strange] pos "\"use base\" and \"@ISA\" must be used once only"; let special, l = List.partition (fun (s, _) -> s = "DynaLoader" || s = "Exporter") classes in let exporter = if List.mem_assoc "Exporter" special then Some pos else None in let isa = if l = [] && special <> [] then None else Some l in |