tex macros, checked in disambiguation section from whelp paper

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index a245053c6cd96fedf4c277a6c6897b5b4710f359..4aae8515e643841f8ab236ad72d6f593f9fc1627 100644 (file)
--- 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