diff options
| author | Alasdair Armstrong | 2018-02-01 16:31:36 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-01 16:31:36 +0000 |
| commit | 49dde317c5f211c47c84f84658d6bf96e4b98f9f (patch) | |
| tree | 4e3fac053bc551fcdddcaf53579a30adb36a2c20 /src/pretty_print_lem.ml | |
| parent | e9311f6ba7a59db19417902403880753530cb788 (diff) | |
Fix a bug where local variables could shadow functions
Currently the fix is to disallow this shadowing entirely, because it
seems to cause trouble for ocaml.
Diffstat (limited to 'src/pretty_print_lem.ml')
0 files changed, 0 insertions, 0 deletions