Minor optimization. ---- Changes: +27 -37 omake-branches/0.9.8.x/src/env/omake_env.ml A hyperlinked version of this commit is available at http://svn.metaprl.org/commitlogs/omake/2007-03.html#07/03/29.10:18:02