diff options
| author | Guy <katz911@gmail.com> | 2016-06-02 14:44:58 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-06-02 14:44:58 -0700 |
| commit | 207a450e9a48d6cbae663d60b35594085d1a2c01 (patch) | |
| tree | f897061b7417a1f6fbfffe98f1ac69b40b837f6a /proofs/signatures | |
| parent | 9712043a682572bea37099168f2c161f597b0457 (diff) | |
Fixed a magical bug that only appears when compiling with clang:
The assignment
d_exprToVariableName[*it] = assignAlias(*it)
Creates an empty value for *it in d_exprToVariableName, causing the assertion in assignAlias to fail
Diffstat (limited to 'proofs/signatures')
0 files changed, 0 insertions, 0 deletions