diff options
| -rw-r--r-- | stdlib/oo.ml | 2 | ||||
| -rw-r--r-- | stdlib/oo.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/oo.ml b/stdlib/oo.ml index 7406ed7c8..102d1cde6 100644 --- a/stdlib/oo.ml +++ b/stdlib/oo.ml @@ -14,4 +14,4 @@ (* $Id$ *) let copy = CamlinternalOO.copy -external oid : < .. > -> int = "%field1" +external id : < .. > -> int = "%field1" diff --git a/stdlib/oo.mli b/stdlib/oo.mli index 98800a70b..502def099 100644 --- a/stdlib/oo.mli +++ b/stdlib/oo.mli @@ -19,6 +19,6 @@ val copy : (< .. > as 'a) -> 'a (** [Oo.copy o] returns a copy of object [o], that is a fresh object with the same methods and instance variables as [o] *) -external oid : < .. > -> int = "%field1" +external id : < .. > -> int = "%field1" (** Return an integer identifying this object, unique for the current execution of the program. *) |