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