diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-03-18 09:46:24 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-03-18 09:46:24 -0400 |
| commit | 219f0f10568c1a5a2d0e0ac1429d464af95cb669 (patch) | |
| tree | 864ffbce4d326a719c9d244ad291f95faf7c2061 /tests/initSimple.urs | |
| parent | 7df9e40cc0a85aeb61e4de1a4c584fbe7e13824f (diff) | |
Fix soundness bug in Effectize, which lead to missing effects in event handlers
Diffstat (limited to 'tests/initSimple.urs')
0 files changed, 0 insertions, 0 deletions