
diff -r ae28545cd104 -r ee0b835ca8fa doc-src/Tutorial/fp.tex
--- a/doc-src/Tutorial/fp.tex	Thu Sep 23 13:09:39 1999 +0200
+++ b/doc-src/Tutorial/fp.tex	Thu Sep 23 14:39:39 1999 +0200
@@ -1666,7 +1666,7 @@
 Slightly more interesting is the insertion of a fixed element
 between any two elements of a list:
 \begin{ttbox}
-\input{Recdef/sep1}\end{ttbox}
+\input{Recdef/sep}\end{ttbox}
 This time the measure is the length of the list, which decreases with the
 recursive call; the first component of the argument tuple is irrelevant.
 




