X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent%2FnotationUtil.mli;h=6d5919d93520306a1a7b5edc3748d9b2f313c8e4;hb=c81b0e8dbfe80e2350e9322afa8316f39f98c3b3;hp=981030d49d8cc160e1a7f0245bcba4962f23e1a5;hpb=935c8d1b73726bb49b99e5c2dbebdea0d617fa1a;p=helm.git

diff --git a/matitaB/components/content/notationUtil.mli b/matitaB/components/content/notationUtil.mli
index 981030d49..6d5919d93 100644
--- a/matitaB/components/content/notationUtil.mli
+++ b/matitaB/components/content/notationUtil.mli
@@ -62,7 +62,7 @@ val visit_variable:
 val strip_attributes: NotationPt.term -> NotationPt.term
 
   (** @return the list of proper (i.e. non recursive) IdRef of a term *)
-val get_idrefs: NotationPt.term -> string list
+val get_idrefs: NotationPt.term -> (string * string option * string) list
 
   (** generalization of List.combine to n lists *)
 val ncombine: 'a list list -> 'a list list