Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-05-30 15:06:34 -0700 (Wed, 30 May 2007)
Revision: 10833
Log message:

      Use the same debug_db variable in Omake_env and Lm_db. (Merges rev. 10832 off
     the 0.9.8.2 branch).

Changes  Path
+1 -6 omake-branches/0.9.8.x/src/env/omake_env.ml