diff options
| author | Guillaume Melquiond | 2015-02-25 15:30:16 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-25 15:39:18 +0100 |
| commit | 09fcaf0c38580cc1cb279974517e2ea77c982da3 (patch) | |
| tree | 3d6e4b6109ff802cc73b324dcf5d4e959b94ae17 /Makefile | |
| parent | d1cbd0b21dd73e2b4af3ced394b51877afde40b8 (diff) | |
Reorder the steps of the easy tactic. (Fix for bug #2630)
Due to the way it was laid out, the tactic could prove neither
(Zle x x) nor (P /\ Q -> P) nor (P |- P /\ True)
yet it could prove
(Zle x x /\ True) and (P /\ Q |- P).
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions