diff options
Diffstat (limited to 'figs/example1b.dot')
| -rw-r--r-- | figs/example1b.dot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/figs/example1b.dot b/figs/example1b.dot index 09fecd0..e6b8c22 100644 --- a/figs/example1b.dot +++ b/figs/example1b.dot @@ -5,8 +5,8 @@ digraph example1b { q1 [style="state,final",label="1"]; q2 [style="state,final",label="2"]; edge [texmode="math",lblstyle="auto"]; - q0 -> q0 [label="a"]; - q1 -> q1 [label="a"]; + q0 -> q0 [label="a",topath="loop above"]; + q1 -> q1 [label="a",topath="loop above"]; q0 -> q1 [label="b"]; q1 -> q0 [label="b"]; q1 -> q2 [style="invisible"]; |