diff options
author | schmidt <douglascraigschmidt@users.noreply.github.com> | 1999-10-06 13:05:48 +0000 |
---|---|---|
committer | schmidt <douglascraigschmidt@users.noreply.github.com> | 1999-10-06 13:05:48 +0000 |
commit | bfb654d2ef5f572510693e6e706eeacbf269cee2 (patch) | |
tree | 41cae8da529357f2517a38a7b0d696b8dbae7076 /ace/Map_Manager.h | |
parent | 5fe64a3d643b6434d2fe1cdc695064f4c4d2c8a7 (diff) | |
download | ATCD-bfb654d2ef5f572510693e6e706eeacbf269cee2.tar.gz |
ChangeLogTag:Tue Oct 5 16:17:57 1999 Douglas C. Schmidt <schmidt@tango.cs.wustl.edu>
Diffstat (limited to 'ace/Map_Manager.h')
-rw-r--r-- | ace/Map_Manager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ace/Map_Manager.h b/ace/Map_Manager.h index f684bcb7aad..905af83111b 100644 --- a/ace/Map_Manager.h +++ b/ace/Map_Manager.h @@ -189,11 +189,11 @@ public: // failures occur. int find (const EXT_ID &ext_id, - INT_ID &int_id); + INT_ID &int_id) const; // Locate <ext_id> and pass out parameter via <int_id>. If found, // returns and non-negative integer; returns -1 if not found. - int find (const EXT_ID &ext_id); + int find (const EXT_ID &ext_id) const; // Returns a non-negative integer if the <ext_id> is in the mapping, otherwise -1. int unbind (const EXT_ID &ext_id); |