From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Feb 2004 12:34:32 +0000 (+0000)
Subject: More debug informations.
X-Git-Tag: V_0_2_3~101
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=320c9e5508c7125366aa94c34df8a93d37b5f498;p=helm.git

More debug informations.
---

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 41c404392..e8d3e58f1 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -381,6 +381,7 @@ module Make (C: Callbacks) =
           let rec filter = function
             | [] -> []
             | codomain_item :: tl ->
+                debug_print (sprintf "%s CHOSEN" (fst codomain_item)) ;
                 let new_env = Environment.add item codomain_item current_env in
                 (match test_env new_env remaining_dom with
                 | Ok (term, metasenv) ->