X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.mli;h=956f91fd8a00207e4475b713cd32ca787f3f20b2;hb=3698de5ee6abc713534b0ee884e87e4046a087dd;hp=3e093575a8e8873e4b0759a6d26fdcac94fb4c06;hpb=8a4c83c6341976f2bb70eb44a0c70f2aa95ad3ea;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.mli b/helm/software/lambda-delta/lib/log.mli
index 3e093575a..956f91fd8 100644
--- a/helm/software/lambda-delta/lib/log.mli
+++ b/helm/software/lambda-delta/lib/log.mli
@@ -22,7 +22,7 @@ type ('a, 'b) specs = {
    pp_lenv: Format.formatter -> 'a -> unit
 }
 
-val loc: int ref
+val loc: string ref
 
 val level: int ref