# HG changeset patch
# User wenzelm
# Date 1437650914 -7200
# Node ID f47bd91fdc75e801c94d7ce2a31522607bd0f7fe
# Parent  ad5b4771fc19921598b34d75189418beb26e079f
proper latex;

diff -r ad5b4771fc19 -r f47bd91fdc75 src/Doc/Codegen/Adaptation.thy
--- 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]