diff options
| author | Pierre-Marie Pédrot | 2014-06-24 14:23:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-06-24 15:52:31 +0200 |
| commit | 03cab057c3ccc51464ed69531441d3c09b2919a7 (patch) | |
| tree | af11609b17ae021e10ffad2edf2386fcdb0dc70f /kernel | |
| parent | 89dc208ff140ba6ecd7b2c931401f9c58fb2985e (diff) | |
Clenvtac.clenv_refine in the new monad. Not satisfactory though, because it
exhibits the "useless goal" behaviour: there is code out there depending on
the fact that goals cannot be solved by side effects.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions