diff options
| author | Pierre-Marie Pédrot | 2019-06-24 19:17:38 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-26 12:35:37 +0200 |
| commit | 6fab6f1cbf21d6f4a3a77e1b73c31fbe18d05a11 (patch) | |
| tree | 9da22e628c7e2e66f19589a6036a730d30055e1b /kernel/cbytecodes.ml | |
| parent | 2c39a12f5a8d7178b991595324692c1596ea9199 (diff) | |
Remove dead code for typing of section definitions in kernel.
All section definitions are always defined as if they were transparent,
all the additional checks were actually never triggered.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions