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