diff options
author | stobies <unknown> | 2009-10-12 11:52:10 +0000 |
---|---|---|
committer | stobies <unknown> | 2009-10-12 11:52:10 +0000 |
commit | 5c93063429bf61461a0319c42823da49780a21a2 (patch) | |
tree | 88a74bb37df441b7a525b7b5a5f988c2c353147f /Test/inline | |
parent | 8d1ba7861d1191ffc3f91810d1e66ae4a9638637 (diff) |
In the TypeDeclCollector, call RegisterType for the bound variables in a quantifier. This makes sure that we get the proper DEFTYPEs for bit vector variables, even when they are not used in operator expressions. Fixes issue #5741.
Diffstat (limited to 'Test/inline')
0 files changed, 0 insertions, 0 deletions