# File rbot/registry.rb, line 123
def
set_default (default) @default = default
end