diff options
| author | Pierre-Marie Pédrot | 2020-02-25 09:42:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-25 09:42:18 +0100 |
| commit | cb428dd8834747f6d5ea97b88bdef5a8f04495b8 (patch) | |
| tree | 0cf0e2e0c75b50b101f1c41a6953e780ebc784af /engine/proofview.ml | |
| parent | da984ceafbb450dc5a9fe8f8971d8c90a060f233 (diff) | |
| parent | 4dd2102b7b12efb3ff7805aab3b7f318c6e3f989 (diff) | |
Merge PR #11655: [parsing] Track need to reinit by typing
Reviewed-by: ppedrot
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions