From 320c9e5508c7125366aa94c34df8a93d37b5f498 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Feb 2004 12:34:32 +0000 Subject: [PATCH] More debug informations. --- helm/ocaml/cic_disambiguation/disambiguate.ml | 1 + 1 file changed, 1 insertion(+) 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) -> -- 2.39.2