diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2006-05-29 03:55:36 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2006-05-29 03:55:36 +0000 |
| commit | cc17137346513419e2dc3cad0ffe50e2ee5df1dd (patch) | |
| tree | 4a1459248f6c5de8e7427a5b678ff4f02ea81ec7 | |
| parent | 1470be86b4417ce974c1b6f5a8828cec65a2892c (diff) | |
valvirt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/addlabels.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/addlabels.ml b/tools/addlabels.ml index 5a98e161e..41ad56c61 100644 --- a/tools/addlabels.ml +++ b/tools/addlabels.ml @@ -307,7 +307,7 @@ let rec add_labels_class ~text ~classes ~values ~methods cl = | Pcf_init e -> add_labels_expr ~text ~classes ~values e; values - | Pcf_inher _ | Pcf_virt _ | Pcf_cstr _ -> values + | Pcf_inher _ | Pcf_valvirt _ | Pcf_virt _ | Pcf_cstr _ -> values | Pcf_let _ -> values (* not in the grammar *) end; () |