Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-09-10 09:52:49 -0700 (Mon, 10 Sep 2007)
Revision: 12135
Log message:

      Fixing a minor typo.

Changes  Path(relative to omake-branches/jumbo/curry/src/env)
+1 -1 omake_env.ml