diff options
| author | Gaëtan Gilbert | 2019-05-21 12:43:50 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-21 12:43:50 +0200 |
| commit | 02d6f5660d54fcf4dfc9cff36cbda41dca3f601f (patch) | |
| tree | d3ab4306b1220e1e9477c459dbbff22990833ccb /engine/proofview.ml | |
| parent | afb1a427debbc32aef1b2df0b31aa9cf8938b687 (diff) | |
| parent | a74c28656a7978c429057b62c34227fe2a6cc432 (diff) | |
Merge PR #10042: [Classes] Use prepare_parameter from DeclareDef.
Reviewed-by: SkySkimmer
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions