X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.ml;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.ml;h=3c75b4032d6dfd6620334d31a14e0d5e3f024c64;hp=7eebedb7d13e8fa810c4dc0eb867aa038362e474;hb=ef225b816c82d4fad37993f963804e51152f4dac;hpb=b161347767b1cb67c4f5b115e4414b85ac4b2183

diff --git a/matita/components/binaries/matex/ground.ml b/matita/components/binaries/matex/ground.ml
index 7eebedb7d..3c75b4032 100644
--- a/matita/components/binaries/matex/ground.ml
+++ b/matita/components/binaries/matex/ground.ml
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-module L = List
+(* module L = List *)
 module P = Printf
 module S = String
 
@@ -48,7 +48,7 @@ let rec foldi_left mapi i a = function
    | []       -> a
    | hd :: tl -> foldi_left mapi (succ i) (mapi i a hd) tl
 
-let rec rev_mapi mapi i l =
+let rev_mapi mapi i l =
    let map i a hd = mapi i hd :: a in
    foldi_left map i [] l