diff options
Diffstat (limited to 'chapter18/docs/lattice.gv')
| -rw-r--r-- | chapter18/docs/lattice.gv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter18/docs/lattice.gv b/chapter18/docs/lattice.gv index f8af5718..8661082d 100644 --- a/chapter18/docs/lattice.gv +++ b/chapter18/docs/lattice.gv @@ -47,7 +47,7 @@ digraph Lattice { INT_CON0 -> INT_CON1 -> INT_CON [style=invis]; // ---------------------- - // Integers + // Floats FLT_TOP [label=<<B>⊤</B >:flt>, fillcolor=aqua, shape=oval]; FLT_BOT [label=<<B>⊥</B>:flt>, fillcolor=aqua, shape=oval]; |