slides/slides03.tex
changeset 662 8da26d4c2ca8
parent 651 652065f55d54
child 743 6acabeecdf75
--- a/slides/slides03.tex	Thu Oct 17 13:41:30 2019 +0100
+++ b/slides/slides03.tex	Thu Oct 17 14:02:59 2019 +0100
@@ -784,7 +784,7 @@
 \frametitle{Subset Construction}
 
 
-\begin{textblock}{5}(1,1)
+\begin{textblock}{5}(1,1.5)
 \begin{center}
 \begin{tikzpicture}[node distance=6mm,scale=0.7,>=stealth',very thick,
                              every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]