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 |