diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-09-19 20:06:27 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-09-19 20:06:27 +0000 |
| commit | 26da597e228537d78d306676b4b79e9b3703900d (patch) | |
| tree | 551ab8b61c011a624ad0ae92cfcb930c64ef5948 /src/theory/bv | |
| parent | 95901566948b3da00e8dea6a9c022fe027a2ea92 (diff) | |
fix for bug 370.
some internal nodes in eq engine were treated as constants incorrectly
Diffstat (limited to 'src/theory/bv')
0 files changed, 0 insertions, 0 deletions