X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Flayer.mli;h=f6abb11954984d00e059dde06b622b60fcb84a3a;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=40ada03a1f1aca384ffc1c7f02c694f781af9205;hpb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;p=helm.git

diff --git a/helm/software/helena/src/common/layer.mli b/helm/software/helena/src/common/layer.mli
index 40ada03a1..f6abb1195 100644
--- a/helm/software/helena/src/common/layer.mli
+++ b/helm/software/helena/src/common/layer.mli
@@ -17,7 +17,7 @@ val initial_status: unit -> status
 
 val refresh_status: status -> status
 
-val infinite: layer
+val infinity: layer
 
 val finite: int -> layer