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 |