diff options
| author | Thomas Bauereiss | 2019-06-13 21:38:42 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-06-13 21:40:13 +0100 |
| commit | 5de71f5be6e729184e122cf26bcb9a8ed0a40416 (patch) | |
| tree | 88047712e916c06f6af0812f57d40e4c94c7803d /lib/vector_dec.sail | |
| parent | 0b77201dc6bd41262dcc5456b9275d541d9113e0 (diff) | |
Fix some bugs in Lem rewriter
A missing type annotation in rewrite_guarded_clauses caused a crash in
some cases. Also fix an effect propagation bug in
rewrite_letbind_effects.
Diffstat (limited to 'lib/vector_dec.sail')
0 files changed, 0 insertions, 0 deletions