diff options
| author | Pierre-Marie Pédrot | 2020-04-09 13:26:57 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-09 13:26:57 +0200 |
| commit | a172d9e249c4e59b957c8afbfa352af525f4607d (patch) | |
| tree | 02820cecb16c34b17748e4ba4c7b631eb7d8492d /kernel/uGraph.ml | |
| parent | 75589e466c9f0ed62dd10fff6c1f7d284c7ffa89 (diff) | |
| parent | 909160efe42ef1f2cb7f559e3cb5039a9680ca6c (diff) | |
Merge PR #12046: [errors] Print backtrace of internal errors in printers
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions