From 8cfe7f6b2f82db366cf7c868e779b9b1783b637f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 25 Apr 2009 18:47:14 +0000 Subject: [PATCH] Debug option reverted. --- helm/software/components/lexicon/lexiconEngine.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/lexicon/lexiconEngine.ml b/helm/software/components/lexicon/lexiconEngine.ml index 6f30801a4..c86e16135 100644 --- a/helm/software/components/lexicon/lexiconEngine.ml +++ b/helm/software/components/lexicon/lexiconEngine.ml @@ -27,7 +27,7 @@ module L = LexiconAst -let debug = ref true +let debug = ref false (* lexicon file name * ma file name *) exception IncludedFileNotCompiled of string * string -- 2.39.2