Removed a function that is not needed when dynamic environments are disabled.
Unable to "darcs diff" here.
ERROR: repository upgrade required, try `darcs optimize upgrade`
See http://wiki.darcs.net/OF for more details.