--- a/doc-src/TutorialI/fp.tex Thu Jul 26 19:07:28 2012 +0200
+++ b/doc-src/TutorialI/fp.tex Thu Jul 26 19:08:14 2012 +0200
@@ -229,7 +229,7 @@
\subsection{Pairs}
-\input{document/pairs.tex}
+\input{document/pairs2.tex}
\subsection{Datatype {\tt\slshape option}}
\label{sec:option}