diff options
author | 2016-02-28 13:19:47 +0100 | |
---|---|---|
committer | 2016-02-28 13:39:08 +0100 | |
commit | db2c6f0054d3e05f82da7494ce790c04b1976401 (patch) | |
tree | dfd0493ae6a0a13f9091aeaf4fc20b70ffa42dc9 /install.sh | |
parent | 20fe4afb53e2b68ffb06a5504a444e536d4b813e (diff) |
Fixing bug #4596: [rewrite] broke in the past few weeks.
Checking that a term was indeed a relation was made too early, as the
decomposition function recognized relations of the form "f (g .. (h x y))
with f, g unary and only h binary. We postpone this check to the very end.
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions