diff options
Diffstat (limited to 'stdlib/oo.mli')
| -rw-r--r-- | stdlib/oo.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/oo.mli b/stdlib/oo.mli index c18bfa51e..b3111ce85 100644 --- a/stdlib/oo.mli +++ b/stdlib/oo.mli @@ -25,5 +25,5 @@ external id : < .. > -> int = "%field1" (**/**) (** For internal use (CamlIDL) *) -val new_method : string -> CamlinternalOO.label -val public_method_label : string -> CamlinternalOO.label +val new_method : string -> CamlinternalOO.tag +val public_method_label : string -> CamlinternalOO.tag |