diff options
| author | Pierre-Marie Pédrot | 2017-09-09 20:46:59 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-09 20:46:59 +0200 |
| commit | c7c1f9b2da838a604c479bb2bc162fef621524ed (patch) | |
| tree | 09f70d27f3793eff78d4d9c63e8347d670750251 /src/tac2stdlib.ml | |
| parent | 6bc632021b47103b57abb34836766a57198d9cb4 (diff) | |
If backtrace is missing, don't print it.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions