doc-src/Codegen/Adaptation.thy
changeset 48954 c548d26daa8c
parent 48951 b9238cbcdd41
     1.1 --- a/doc-src/Codegen/Adaptation.thy	Mon Aug 27 23:10:54 2012 +0200
     1.2 +++ b/doc-src/Codegen/Adaptation.thy	Mon Aug 27 23:29:45 2012 +0200
     1.3 @@ -71,7 +71,7 @@
     1.4    conceptually supposed to be:
     1.5  
     1.6    \begin{figure}[here]
     1.7 -    \includegraphics{adaptation}
     1.8 +    \includegraphics{adapt}
     1.9      \caption{The adaptation principle}
    1.10      \label{fig:adaptation}
    1.11    \end{figure}