diff options
| author | Arnaud Spiwack | 2014-10-16 15:13:58 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-16 15:14:20 +0200 |
| commit | b5c5f67c628e6ba7c987e9a306f7a0efdebf85cf (patch) | |
| tree | c5329f5848a7020f457735a3c793ce7f00f9c0f1 /kernel | |
| parent | 55b626fadb1bffb27cfd4069e2933db0e4784409 (diff) | |
Grab Existential Variables: restore the goal order from v8.4.
Changes in the implementation details had unwittingly changed the order in which Grab Existential Variables displayed the goals.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions