From dc9081921adb8cb8fabfea5daac0638d797dc427 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 8 Nov 2005 09:27:42 +0000 Subject: [PATCH] Debugging code removed. --- helm/ocaml/cic_disambiguation/disambiguate.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml index a245053c6..4aae8515e 100644 --- a/helm/ocaml/cic_disambiguation/disambiguate.ml +++ b/helm/ocaml/cic_disambiguation/disambiguate.ml @@ -109,7 +109,6 @@ let find_in_context name (context: Cic.name list) = let interpretate_term ~(context: Cic.name list) ~env ~uri ~is_path ast = assert (uri = None); -prerr_endline "ciao"; let rec aux loc (context: Cic.name list) = function | CicNotationPt.AttributedTerm (`Loc loc, term) -> aux loc context term -- 2.39.2