# HG changeset patch
# User nipkow
# Date 938090379 -7200
# Node ID ee0b835ca8fa68787df9803c3cb00bc5cb945009
# Parent  ae28545cd104229d69938b92b1d3a4187ed1ffa7
sep1 -> sep

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.