diff options
| author | Matthieu Sozeau | 2017-05-04 18:30:38 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2017-05-11 15:15:25 +0200 |
| commit | fa530442ba05e9b60efff9c726616ae00d6d09e7 (patch) | |
| tree | 1751d17365c02e301a90cd9b63b8a52e68ccbbfc /kernel/uGraph.mli | |
| parent | 8e6d03830e9c53f641626e29886eb07c705f7608 (diff) | |
Obligations shrinking: shrink abstraction too
Diffstat (limited to 'kernel/uGraph.mli')
0 files changed, 0 insertions, 0 deletions