diff options
| author | Kathy Gray | 2014-12-16 14:30:20 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-12-16 14:30:20 +0000 |
| commit | 7e8156920aee9c52fc1d5d0b9e0900acbbb7a0fd (patch) | |
| tree | 33288ec086b83a9c2b4bf80efaec50b7aed63fba /src/elf_model/ml_bindings.ml | |
| parent | 86a94bfcdedcb1824d7869f8d3a0e595d7015fc3 (diff) | |
Fix bug on nat/type/order/effect variable binding
Fix bug allowing function types in too many places
Diffstat (limited to 'src/elf_model/ml_bindings.ml')
0 files changed, 0 insertions, 0 deletions