# HG changeset patch
# User wenzelm
# Date 1309187166 -7200
# Node ID 2bb6fd55e195b15f7b4c648b4816a24ac6fcf409
# Parent  d1650e3720fdd52905bfcfc82bf3412f396ad7e0
updated generated file;

diff -r d1650e3720fd -r 2bb6fd55e195 doc-src/Codegen/Thy/document/Foundations.tex
--- a/doc-src/Codegen/Thy/document/Foundations.tex	Mon Jun 27 16:53:31 2011 +0200
+++ b/doc-src/Codegen/Thy/document/Foundations.tex	Mon Jun 27 17:06:06 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 generating
+      carrier of code generation.  Most problems occurring 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}).