diff options
| author | Alasdair Armstrong | 2019-01-21 19:11:20 +0000 |
|---|---|---|
| committer | GitHub | 2019-01-21 19:11:20 +0000 |
| commit | 2d2774282688e337866979b619640d4323adad50 (patch) | |
| tree | b9cec804ee4aae605ad8c106e4b7aa2cd9f25913 /src/constant_fold.ml | |
| parent | 864fb194128fa36990a53b80d000092e4b76b5fc (diff) | |
Fix typo in install instructions
Diffstat (limited to 'src/constant_fold.ml')
0 files changed, 0 insertions, 0 deletions