proper latex;

--- a/src/Doc/Codegen/Adaptation.thy	Wed Jul 22 23:26:00 2015 +0200
+++ b/src/Doc/Codegen/Adaptation.thy	Thu Jul 23 13:28:34 2015 +0200
@@ -70,7 +70,7 @@
   Figure \ref{fig:adaptation} illustrates what \qt{adaptation} is
   conceptually supposed to be:
 
-  \begin{figure}[here]
+  \begin{figure}[h]
     \begin{tikzpicture}[scale = 0.5]
       \tikzstyle water=[color = blue, thick]
       \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]