]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/log.mli
- common/entity: new format for kernel entities
[helm.git] / helm / software / lambda-delta / lib / log.mli
index 3e093575a8e8873e4b0759a6d26fdcac94fb4c06..956f91fd8a00207e4475b713cd32ca787f3f20b2 100644 (file)
@@ -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