better owner hadling

[helm.git] / helm / matita / matitaDisambiguator.ml

diff --git a/helm/matita/matitaDisambiguator.ml b/helm/matita/matitaDisambiguator.ml
index 5b95f4192854fd05fc8efe6f814d87b714925a06..15f21e50909a934ee44747575cf6f6ed52e8c6b6 100644 (file)
--- a/helm/matita/matitaDisambiguator.ml
+++ b/helm/matita/matitaDisambiguator.ml
@@ -55,7 +55,7 @@ class disambiguator
       end
     in
     let module Disambiguator = Disambiguate.Make (Callbacks) in
-    Disambiguator.disambiguate_term
+    Disambiguator.disambiguate_term 
   in
   object (self)
     val mutable parserr: parserr = parserr