diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-12-09 12:01:32 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-12-09 12:16:44 +0100 |
| commit | 11eedd379d4b27e73a1999c0aacc2056311e8ba9 (patch) | |
| tree | 63e8eb15f257e16cb9c6d30958ba6be686635dd9 /kernel/vm.mli | |
| parent | 8ea758fbb392e270e6a8d2287dbb5b0455d99368 (diff) | |
The unshelve tactical now takes future goals into account.
Diffstat (limited to 'kernel/vm.mli')
0 files changed, 0 insertions, 0 deletions