diff options
| author | Gaëtan Gilbert | 2020-05-10 21:38:46 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-17 13:22:09 +0200 |
| commit | 4c69c4a870f5ef340536798dcdf1025e61a375f9 (patch) | |
| tree | 22ac2744e38a9588fa4c6e2a74f862eda4f09543 /kernel/section.ml | |
| parent | d70eded945de983e83eab35000c343dfbfd8a94d (diff) | |
Fix proof_diffs_test.ml
Diffstat (limited to 'kernel/section.ml')
0 files changed, 0 insertions, 0 deletions