# HG changeset patch
# User haftmann
# Date 1308218369 -7200
# Node ID 957617fe07650e1879a05e9d6fa96580c027a58f
# Parent  868a748b162a09beb287ac3e77067254fb3f06d1
tuned spelling

diff -r 868a748b162a -r 957617fe0765 doc-src/Codegen/Thy/Foundations.thy
--- a/doc-src/Codegen/Thy/Foundations.thy	Wed Jun 15 22:01:27 2011 +0200
+++ b/doc-src/Codegen/Thy/Foundations.thy	Thu Jun 16 11:59:29 2011 +0200
@@ -324,7 +324,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}).