X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.mli;h=90ef8ddd53333672c9b73f21fe632ff464764e82;hb=d03e9fa5ea709a937148a67fc115d894e5990063;hp=5c02eb9d1b929c795f471d53627f8225e41f31f4;hpb=788e7cb15734fd228e8788ea628934af483ae772;p=helm.git

diff --git a/matita/components/binaries/matex/ground.mli b/matita/components/binaries/matex/ground.mli
index 5c02eb9d1..90ef8ddd5 100644
--- a/matita/components/binaries/matex/ground.mli
+++ b/matita/components/binaries/matex/ground.mli
@@ -17,6 +17,8 @@ val log: string -> unit
 
 val id: 'a -> 'a
 
+val id2: 'a -> 'b -> 'a * 'b
+
 val segments_of_string: string list -> int -> string -> string list
 
 val rev_map_concat: ('a -> string) -> string -> string -> 'a list -> string