partial commit in static_2

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / syntax / fold.ma

diff --git a/matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma b/matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma
index 05b86e627cad78d38d74d0c18397f03459475f57..061ef6ed903f17ced947387ed4b37f2020b5d7fc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma
@@ -24,7 +24,7 @@ rec definition fold L T on L ≝ match L with
   ]
 ].
 
-interpretation "fold (restricted closure)" 'plus L T = (fold L T).
+interpretation "fold (restricted closure)" 'nplus L T = (fold L T).
 
 (* Basic properties *********************************************************)