s/LocatedTerm/AnnotatedTerm + various annotations/

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

diff --git a/helm/ocaml/cic_disambiguation/cicTextualParser2Pp.ml b/helm/ocaml/cic_disambiguation/cicTextualParser2Pp.ml
index 896e1dcc32cff08cf973e8671b0e8f53f81f1e3b..411159b2fcd681e3b255b88242acf2f150a5224d 100644 (file)
--- a/helm/ocaml/cic_disambiguation/cicTextualParser2Pp.ml
+++ b/helm/ocaml/cic_disambiguation/cicTextualParser2Pp.ml
@@ -37,9 +37,7 @@ let rec pp_capture_variable = function
   | name, None -> pp_name name
   | name, Some typ -> "(" ^ pp_name name ^ ": " ^ pp_term typ ^ ")"
 and pp_term = function
-  | LocatedTerm ((p_begin, p_end), term) ->
-(*       sprintf "[%d,%d]%s" p_begin p_end (pp_term term) *)
-      pp_term term
+  | AttributedTerm (_, term) -> pp_term term
 
   | Appl terms -> sprintf "(%s)" (String.concat " " (List.map pp_term terms))
   | Appl_symbol (symbol, _, terms) ->