summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorDejan Jovanović <dejan.jovanovic@gmail.com>2012-06-10 03:03:17 +0000
committerDejan Jovanović <dejan.jovanovic@gmail.com>2012-06-10 03:03:17 +0000
commite761ec344a7c9d9b5bff5f312cdb8932083e0bc8 (patch)
tree8a936c4e0c22cf45ec33d6f87a7bc01f31ab49cd /Makefile
parent3d1c71026c7b8aaa2e9689d27415d80c412ece2e (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 'Makefile')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback