]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6cc401c)
Debug option reverted.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 25 Apr 2009 18:47:14 +0000 (18:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 25 Apr 2009 18:47:14 +0000 (18:47 +0000)
helm/software/components/lexicon/lexiconEngine.ml patch | blob | history

diff --git a/helm/software/components/lexicon/lexiconEngine.ml b/helm/software/components/lexicon/lexiconEngine.ml
index 6f30801a4b1c284d5ee6758e1bd02678217d2268..c86e161357eb9cd136c6a1a0fd9ef8aa6c37835b 100644 (file)
--- 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 
Unnamed repository; edit this file 'description' to name the repository.