diff options
Diffstat (limited to 'chapter06/docs/lattice.gv')
| -rw-r--r-- | chapter06/docs/lattice.gv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter06/docs/lattice.gv b/chapter06/docs/lattice.gv index 2cf27452..e533ad4a 100644 --- a/chapter06/docs/lattice.gv +++ b/chapter06/docs/lattice.gv @@ -61,4 +61,4 @@ digraph Lattice { INT_MAX; TUPLE} {rank=same; INT_BOT; CTRL} {rank=same; BOT;} -}
\ No newline at end of file +} |
