diff options
| author | Maxime Dénès | 2019-04-14 14:02:16 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-15 15:28:09 +0200 |
| commit | 7205996bf25a542224c815b38f92da0ffef76b5d (patch) | |
| tree | 4853a361c9a1efe4f3d4163f47c0fa4cc514ce05 /engine/proofview.ml | |
| parent | 137e8b1636fa0b25c232ed42944ecaed058732ee (diff) | |
[native compiler] Remove unused universe argument in Lmakeblock
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions