diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-12-04 09:14:45 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-12-04 14:38:05 +0100 |
| commit | 756daf40da5c8d4050addfb0d5c9b53b540cf17b (patch) | |
| tree | 8f55ef7536d8aae160cefbf9fedde5f9946aee6a /kernel/indtypes.mli | |
| parent | fa48ee84a1829816c9e7e46f1b5172f83e8cc954 (diff) | |
Better implementation of 4a858a51322f2dd488b02130ca82ebcc4dc9ca35.
Instead of filtering over the goals we have just creating and running through the evar_map, fetching the evar_info (that we've just created), and marking it as unresolvable, the goals are just created unresolvable. Which is probably what I should have done from the beginning, but it had escaped my notice during my code-cleaning session.
Diffstat (limited to 'kernel/indtypes.mli')
0 files changed, 0 insertions, 0 deletions