X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Flayer.ml;h=c0b6bcc19e47b8209838448f6e0a0a3b3642d602;hp=82300931bc5c0652d72a98f38f94fc6c5d258016;hb=9bdda2beaa7b0f836e3700a2e2458761e8eee06d;hpb=c41d664b002c148fe5f856aeb8cbe13b154cc20d

diff --git a/helm/software/helena/src/common/layer.ml b/helm/software/helena/src/common/layer.ml
index 82300931b..c0b6bcc19 100644
--- a/helm/software/helena/src/common/layer.ml
+++ b/helm/software/helena/src/common/layer.ml
@@ -39,7 +39,7 @@ let warn s = L.warn (pred level) s
 let zero = Fin 0
 
 let string_of_value k = function
-   | Inf        -> ""
+   | Inf        -> "-"
    | Fin i      -> string_of_int i
    | Ref (k, i) -> "-" ^ P.string_of_mark k ^ "-" ^ string_of_int i
    | Unk        -> "-" ^ P.string_of_mark k