Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-08-06 13:26:10 -0700 (Mon, 06 Aug 2007)
Revision: 11849
Log message:
In rev 11504, the hoist_path function was moved to some totally random place
(as far as I can tell). Move it back.
I realize the plan is that path hoisting is disabled in this release.
Probably the best way to do it is leave the hoisting code, but
shadow the Omake_env.add_path_exports function.
let add_path_exports venv_orig _ _ _ _ _ =
venv_orig
Changes | Path(relative to omake-branches/0.9.8.x/src/env) |
+12 -14 | omake_env.ml |