From dc9081921adb8cb8fabfea5daac0638d797dc427 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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.5