some renaming ...

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / relocation / nstream.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma b/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma
index ccd8857a8a7b254f69586f516d17c1496c06842a..7ba0d13eb3e641b004d6fc2598584b58015ef9d1 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma
@@ -17,4 +17,4 @@ include "ground_2/lib/streams.ma".
 
 (* RELOCATION N-STREAM ******************************************************)
 
-definition nstream: Type[0] ≝ stream nat.
+definition rtmap: Type[0] ≝ stream nat.