diff options
| author | Clément Zrounba <clement.zrounba@ec-lyon.fr> | 2023-11-14 17:48:26 +0000 |
|---|---|---|
| committer | Clément Zrounba <clement.zrounba@ec-lyon.fr> | 2023-11-14 18:17:32 +0000 |
| commit | ce5bd6f52ec438ae21ff38181c465e0ea40a4a36 (patch) | |
| tree | 7a39d0fe6dc36818cf335dd771d73bd4186a794b /src/parser/parse_tree.h | |
| parent | c8450b94be661a6d9d9d2718cc16befa4a5abae9 (diff) | |
| download | specs-ce5bd6f52ec438ae21ff38181c465e0ea40a4a36.tar.gz specs-ce5bd6f52ec438ae21ff38181c465e0ea40a4a36.zip | |
Fix reporting of specs settings in tracefile
- Seems like an `(int&)` cast was necessary to correctly trace the value
of the enum ?
- pyspecs was updated to use the available top-level values instead of
convoluted checks
Diffstat (limited to 'src/parser/parse_tree.h')
0 files changed, 0 insertions, 0 deletions