diff --git a/collects/guibuilder/readable.ss b/collects/guibuilder/readable.ss index f1f4bba332..0594806d20 100644 --- a/collects/guibuilder/readable.ss +++ b/collects/guibuilder/readable.ss @@ -51,4 +51,5 @@ (super-new) (set-snipclass gui-snip-class))) - (provide gui-code-snip%)) + (provide gui-code-snip% + (rename gui-snip-class snip-class)))