- bug fix in the static analyzer allows better Pi/forall separation (exportation...

[helm.git] / helm / software / helena / src / common / layer.mli

diff --git a/helm/software/helena/src/common/layer.mli b/helm/software/helena/src/common/layer.mli
index 40ada03a1f1aca384ffc1c7f02c694f781af9205..f6abb11954984d00e059dde06b622b60fcb84a3a 100644 (file)
--- 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