diff options
| author | Shachar Itzhaky | 2019-04-11 13:58:28 +0300 |
|---|---|---|
| committer | Shachar Itzhaky | 2019-04-11 14:01:22 +0300 |
| commit | df70c87cd7adab8a748a248f7660738dcc043186 (patch) | |
| tree | c9f4b7026ef309cb8c6a2072c0dd2bded1c026ca /kernel/nativelambda.ml | |
| parent | 36c15766a9295d980d142da0e42aebf1309f4eb4 (diff) | |
[stm] Report correct ids on some errors where it was dummy.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions