diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-05 10:47:15 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-05 10:47:20 +0100 |
| commit | 0b2e6fe634da336ed34dec93072e847a1736afd2 (patch) | |
| tree | a520f907d9eea30650876fc706be378108ee68a6 /stm | |
| parent | f281a8a88e8fc7c41cc5680db2443d9da33b47b7 (diff) | |
Fixing a cause of failure of evar_map printer in debugger.
Indeed, the debugger debugs coqtop but it is itself just an ocaml
runtime extended with the coq printers. It does not know the
environment, so, looking in the Global.env() for the printers can only
fail.
Diffstat (limited to 'stm')
0 files changed, 0 insertions, 0 deletions