diff options
| author | Thomas Bauereiss | 2019-01-14 14:37:49 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-14 14:47:20 +0000 |
| commit | 0c94428957c9ec1d78ac0d9974253be3c750b1b1 (patch) | |
| tree | b0998c917ff039c91e0246fb15253b343656bd47 /lib/exception_basic.sail | |
| parent | 2eb2566c5c3ef5d7250fea604933704d8d94eabe (diff) | |
Make rewriting of foreach loops for Lem more robust
Bind loop bounds to type variables, and don't pull existential variables
out of context
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions