summaryrefslogtreecommitdiff
path: root/utils/warnings.mli
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2010-04-08 03:58:41 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2010-04-08 03:58:41 +0000
commitee36e1d1c5fa2c90a86ae9b6a9a3f6d3666b4e2b (patch)
tree35b439e2c89eb0463944dd6611f567deff2a218b /utils/warnings.mli
parentcfd555426d1d99c104669d05432f689f025ea374 (diff)
downloadocaml-ee36e1d1c5fa2c90a86ae9b6a9a3f6d3666b4e2b.tar.gz
merge branches/override
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/warnings.mli')
-rw-r--r--utils/warnings.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/warnings.mli b/utils/warnings.mli
index aefa87e720..0664788ed6 100644
--- a/utils/warnings.mli
+++ b/utils/warnings.mli
@@ -27,7 +27,7 @@ type t =
| Statement_type (* 10 *)
| Unused_match (* 11 *)
| Unused_pat (* 12 *)
- | Instance_variable_override of string (* 13 *)
+ | Instance_variable_override of string list (* 13 *)
| Illegal_backslash (* 14 *)
| Implicit_public_methods of string list (* 15 *)
| Unerasable_optional_argument (* 16 *)