diff -r 396d4d6a1594 -r 555b56b66fcf doc-src/Codegen/codegen.tex
--- a/doc-src/Codegen/codegen.tex	Wed May 06 16:01:06 2009 +0200
+++ b/doc-src/Codegen/codegen.tex	Wed May 06 16:01:07 2009 +0200
@@ -32,7 +32,7 @@
 
 \input{Thy/document/Introduction.tex}
 \input{Thy/document/Program.tex}
-\input{Thy/document/Adaption.tex}
+\input{Thy/document/Adaptation.tex}
 \input{Thy/document/Further.tex}
 \input{Thy/document/ML.tex}