| SYNOPSIS | |
| void rename_object(object ob, string new_name) | |
| DESCRIPTION | |
| Give the object <ob> a new object name <new_name>. Causes a privilege | |
| violation. The new name must not contain a # character, except | |
| at the end, to avoid confusion with clone numbers. | |
| HISTORY | |
| Introduced in 3.2@55. | |
| SEE ALSO | |
| creator(E), object_name(E), load_name(E). |