1.1 --- a/doc-src/Codegen/Thy/Adaption.thy	Tue Apr 07 08:52:43 2009 +0200
     1.2 +++ b/doc-src/Codegen/Thy/Adaption.thy	Tue Apr 07 21:24:39 2009 +0200
     1.3 @@ -59,7 +59,7 @@
     1.4    supposed to be:
     1.5  
     1.6    \begin{figure}[here]
     1.7 -    \includegraphics{Thy/pictures/adaption}
     1.8 +    \includegraphics{adaption}
     1.9      \caption{The adaption principle}
    1.10      \label{fig:adaption}
    1.11    \end{figure}