diff options
| author | Gaëtan Gilbert | 2019-03-28 16:43:08 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-28 16:43:08 +0100 |
| commit | c03d007ceeae5c2c5c835b03ce3dd2fb5be8212d (patch) | |
| tree | cbfa7a4dc5c697c78ceb913e1bcff39a2392a6f5 /vernac/comProgramFixpoint.ml | |
| parent | 688e20c432d2639050a62703e1c566ddfbe42b2a (diff) | |
Fix top_printers after removal of imperative state
There's never a proof available in ocamldebug
I don't know about Drop.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions