--- a/doc-src/Codegen/Thy/document/Foundations.tex Wed Jun 15 22:00:26 2011 +0200
+++ b/doc-src/Codegen/Thy/document/Foundations.tex Wed Jun 15 22:01:27 2011 +0200
@@ -571,7 +571,7 @@
language.
\ditem{\emph{Inspect code equations}.} Code equations are the central
- carrier of code generation. Most problems occuring while generation
+ carrier of code generation. Most problems occuring while generating
code can be traced to single equations which are printed as part of
the error message. A closer inspection of those may offer the key
for solving issues (cf.~\secref{sec:equations}).