diff options
| author | Hugo Herbelin | 2015-07-03 21:28:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-08-02 19:13:52 +0200 |
| commit | 7532f3243ba585f21a8f594d3dc788e38dfa2cb8 (patch) | |
| tree | 5857384e1cfc4007f849ae87721567e12100559b /kernel/cbytecodes.ml | |
| parent | 27fb880ab6924ec20ce44aeaeb8d89592c1b91cd (diff) | |
Hopefully clearer printing of stack when debugging evarconv unification.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions