diff options
| author | Maxime Dénès | 2020-08-28 16:39:18 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-08-28 17:24:59 +0200 |
| commit | d1dc6347fb9aa0659f8a8e824c33937d6bfb6e3e (patch) | |
| tree | 18edfe7faf45f41a71845ee8d3f9ae90257e3a93 /kernel/genOpcodeFiles.ml | |
| parent | 911f33f0a0ff648082d329841388f59e8cecf231 (diff) | |
Enrich `evar_map` printer with future goals stack
This is a useful for debugging.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions