Automated merge of 12129:12137 from svn+ssh://svn.metaprl.org/svnroot/mojave/omake-branches/jumbo/curry into var2
----
Changes in omake-branches/jumbo/var2:
Properties .
+1 -1 src/env/omake_env.ml
A hyperlinked version of this commit is available at
http://svn.metaprl.org/commitlogs/omake/2007-09.html#07/09/10.10:34:18