diff options
Diffstat (limited to 'chapter02/docs/02-lattice.gv')
| -rw-r--r-- | chapter02/docs/02-lattice.gv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter02/docs/02-lattice.gv b/chapter02/docs/02-lattice.gv index 57f14d77..4faa0e11 100644 --- a/chapter02/docs/02-lattice.gv +++ b/chapter02/docs/02-lattice.gv @@ -3,7 +3,7 @@ digraph Lattice { node [shape=circle, style=filled, fillcolor=lightblue]; Top [label="⊤"]; Bottom [label="⊥"]; - + A [label="MIN_INT"]; B [label="..." shape=none style=none]; C [label="-1"]; |