From cbbadb81207199f340ff408485bb37cd1bbeb0c6 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Tue, 12 Aug 2025 15:54:26 -0700
Subject: More lattices for main

---
 chapter12/docs/lattice.gv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'chapter12/docs')

diff --git a/chapter12/docs/lattice.gv b/chapter12/docs/lattice.gv
index eec7cc1d..23b3f7a7 100644
--- a/chapter12/docs/lattice.gv
+++ b/chapter12/docs/lattice.gv
@@ -38,7 +38,7 @@ digraph Lattice {
     INT_MINDOTS -> INT_ZERO -> INT_MAXDOTS [style=invis];
 
     // ----------------------
-    // Integers
+    // Floats
     FLT_TOP [label=<<B>⊤</B >:flt>, fillcolor=aqua, shape=oval];
     FLT_BOT [label=<<B>⊥</B>:flt>, fillcolor=aqua, shape=oval];
 
-- 
cgit v1.2.3