diff options
| author | Gaëtan Gilbert | 2019-12-30 16:57:27 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-01-07 10:15:45 +0100 |
| commit | e1da46b1141e1fc9ce04f2285fbb50fe3aab18b7 (patch) | |
| tree | 1cd34581914296ac42aaf9d44d73754be1926940 /kernel/nativecode.ml | |
| parent | 1220aab80893b68c14adb64ba0b75811961ac04d (diff) | |
cleanup: do not use recargs when computing the reloc table for ctors
This doesn't actually have anything to do with positivity AFAICT, we
just want the number of non-parameter arguments.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions