diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-02-28 13:19:47 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-02-28 13:39:08 +0100 |
| commit | db2c6f0054d3e05f82da7494ce790c04b1976401 (patch) | |
| tree | dfd0493ae6a0a13f9091aeaf4fc20b70ffa42dc9 /printing | |
| 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 'printing')
0 files changed, 0 insertions, 0 deletions