diff options
| author | Thomas Bauereiss | 2018-01-31 17:56:53 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-31 17:56:53 +0000 |
| commit | 0e42ceae97d254a4ce51c67463828af9b04157a4 (patch) | |
| tree | 7a1779d13387ca2b61b697935d04376652c1bb97 /etc | |
| parent | 24e3aa017b25be6eaf68bab1718ffa4bdcb1a44a (diff) | |
Fix bug in bitvector pattern rewriting
Make rewriter look into P_typ patterns instead of throwing them away.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions