- matex: support for alpha-conversion completed

[helm.git] / matita / components / binaries / matex / ground.ml

diff --git a/matita/components/binaries/matex/ground.ml b/matita/components/binaries/matex/ground.ml
index c24162ae0e3e47c2cf950a312407d61929be4413..0e9f28c55bb0578b95f89f8e96957b508b26dd65 100644 (file)
--- 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