diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-10 03:03:17 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-10 03:03:17 +0000 |
| commit | e761ec344a7c9d9b5bff5f312cdb8932083e0bc8 (patch) | |
| tree | 8a936c4e0c22cf45ec33d6f87a7bc01f31ab49cd /configure.ac | |
| parent | 3d1c71026c7b8aaa2e9689d27415d80c412ece2e (diff) | |
fixes for bug347
it was an issue with constants being merged, which influenced explanations of disequalities. when constants are attempted to be merged, equality engine now enters conflict mode immediately
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions