diff options
| author | Enrico Tassi | 2015-01-09 11:48:11 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-01-09 11:48:11 +0100 |
| commit | 0158e2805d29118a818cab11f5c215793bd329ae (patch) | |
| tree | 9b69de7081aa495ef692a1453871ecfd413cc976 /pretyping/typeclasses_errors.ml | |
| parent | f1af234b8b3cc9c6ca0b9d527b660d27a099c866 (diff) | |
STM: fix handling of side effects in vio2vo
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions