
diff -r efcba7788b2e -r 257cbe43faa8 doc-src/Codegen/Thy/document/Introduction.tex
--- a/doc-src/Codegen/Thy/document/Introduction.tex	Mon Apr 06 15:59:20 2009 +0200
+++ b/doc-src/Codegen/Thy/document/Introduction.tex	Tue Apr 07 08:52:43 2009 +0200
@@ -301,7 +301,7 @@
   into a functional program.  This is achieved by three major
   components which operate sequentially, i.e. the result of one is
   the input
-  of the next in the chain,  see diagram \ref{fig:arch}:
+  of the next in the chain,  see figure \ref{fig:arch}:
 
   \begin{itemize}
 




