diff options
| -rw-r--r-- | stdlib/oo.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/oo.mli b/stdlib/oo.mli index 704d17c47..98800a70b 100644 --- a/stdlib/oo.mli +++ b/stdlib/oo.mli @@ -20,4 +20,5 @@ val copy : (< .. > as 'a) -> 'a object with the same methods and instance variables as [o] *) external oid : < .. > -> int = "%field1" -(** Return a unique integer identifying this object. *) +(** Return an integer identifying this object, unique for + the current execution of the program. *) |