Improved debugging code.

[helm.git] / helm / software / components / disambiguation / multiPassDisambiguator.mli

diff --git a/helm/software/components/disambiguation/multiPassDisambiguator.mli b/helm/software/components/disambiguation/multiPassDisambiguator.mli
index 4977a81d9cec60e9e370cce909d9164009bcb46f..a5b5def32df25efaa6eead61293d1970e95d2020 100644 (file)
--- a/helm/software/components/disambiguation/multiPassDisambiguator.mli
+++ b/helm/software/components/disambiguation/multiPassDisambiguator.mli
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+val debug: bool ref
+
 (* the integer is an offset to be added to each location *)
 exception DisambiguationError of
  int *