Use the same debug_db variable in Omake_env and Lm_db. ---- Changes: +3 -8 omake-branches/0.9.8.2/src/env/omake_env.ml A hyperlinked version of this commit is available at http://svn.metaprl.org/commitlogs/omake/2007-05.html#07/05/30.14:51:54