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/smt | |
parent | 95901566948b3da00e8dea6a9c022fe027a2ea92 (diff) |
fix for bug 370.
some internal nodes in eq engine were treated as constants incorrectly
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions