X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.ml;h=0e9f28c55bb0578b95f89f8e96957b508b26dd65;hb=348f1670b30f52db99187b2e92b45348e18ebbbe;hp=c24162ae0e3e47c2cf950a312407d61929be4413;hpb=788e7cb15734fd228e8788ea628934af483ae772;p=helm.git

diff --git a/matita/components/binaries/matex/ground.ml b/matita/components/binaries/matex/ground.ml
index c24162ae0..0e9f28c55 100644
--- a/matita/components/binaries/matex/ground.ml
+++ b/matita/components/binaries/matex/ground.ml
@@ -19,6 +19,8 @@ exception Error of string
 
 let id x = x
 
+let id2 x y = x, y 
+
 let rec segments_of_string ss l s =
    match try Some (S.index s '/') with Not_found -> None with
       | None   -> s :: ss