diff options
| author | Enrico Tassi | 2019-02-22 14:10:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-02-25 11:33:18 +0100 |
| commit | 8cad12e0e48eae83773667c2fab7d2570ed43ed2 (patch) | |
| tree | 981ebac6ce36a36fe6ae0fb89543b0b1ab46db12 /doc/plugin_tutorial/tuto1/src/simple_declare.mli | |
| parent | 5ee6581330ac77596d31dddc1bf4fc09e585b1f6 (diff) | |
[kernel] termination checking backtracks on stuck primitive projection
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.mli')
0 files changed, 0 insertions, 0 deletions