diff options
Diffstat (limited to 'chapter14')
| -rw-r--r-- | chapter14/docs/lattice.gv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter14/docs/lattice.gv b/chapter14/docs/lattice.gv index 4a8b1d4c..f16a9768 100644 --- a/chapter14/docs/lattice.gv +++ b/chapter14/docs/lattice.gv @@ -46,7 +46,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]; |