diff options
| author | Pierre-Marie Pédrot | 2020-02-25 11:12:41 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-25 17:49:51 +0100 |
| commit | 5c18743e0b8f41a7e71069b9875fa41a7ea2474b (patch) | |
| tree | 639186e7966c6b90498a589d2d7d24311ce6e6ba /Makefile.build | |
| parent | 91541a2d291bc82098b6c86d52670696523fb49b (diff) | |
Fix backtraces in conversion anomalies caught by Reductionops.
The call to is_anomaly actually destroyed the backtrace, because it would
call arbitrary code, in particular in Himsg which relied internally on
raising exceptions.
Diffstat (limited to 'Makefile.build')
0 files changed, 0 insertions, 0 deletions