diff options
| author | Alasdair | 2018-12-18 20:39:27 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-18 20:39:27 +0000 |
| commit | 213bb81b452bbe43b616f5f9bb853ff30c2543a5 (patch) | |
| tree | afba2ea5caca3d95bb789f668b6c51d3720f4b15 /src/graph.ml | |
| parent | 4d8a4078990a00ffdc018bc8f5d4d5e3dcf6527d (diff) | |
Revert "Experiment with generating type variable names in a repeatable way"
This reverts commit 4d8a4078990a00ffdc018bc8f5d4d5e3dcf6527d.
Diffstat (limited to 'src/graph.ml')
0 files changed, 0 insertions, 0 deletions