Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-05-30 14:51:54 -0700 (Wed, 30 May 2007)
Revision: 10832
Log message:

      Use the same debug_db variable in Omake_env and Lm_db.

Changes  Path
+3 -8 omake-branches/0.9.8.2/src/env/omake_env.ml