There is a new version of Smalllint for Dolphin 4 available at
http://www.object-arts.com/wiki/html/Dolphin/Smalllint.htm.
Note that you must reinstall the entire Refactoring Browser also.
This version fixes some bugs, adds a rule to catch unused temporaries,
and has some scripts to make uninstall cleaner.
Thanks to Steve Waring, Bob Jarvis, and John Brant for their help.
Donald