diff options
| author | Alasdair Armstrong | 2018-08-16 17:22:32 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-16 17:22:32 +0100 |
| commit | eee4d26e53a5e33cdb71e9a338154e2dbf18830c (patch) | |
| tree | b63a93ec9052f78dd586857cc31bd46d7401d14e /language/bytecode.ott | |
| parent | d00c376141c62975880a1565931296a257fce97d (diff) | |
Use Set rather than Hashtbl in graph.ml
Removes the need for the node type to have a valid Hash function
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions