diff options
author | 2018-06-04 13:32:35 +0200 | |
---|---|---|
committer | 2018-06-17 11:44:04 +0200 | |
commit | a4839aa1ff076a8938ca182615a93d6afe748860 (patch) | |
tree | 9a68d53f50d7d0411f8950743e915fef78322b35 /interp/discharge.mli | |
parent | 4513b7735779fb440223e6f22079994528249047 (diff) |
Remove the proj_eta field of the kernel.
This field was not used inside the kernel and not used in
performance-critical code where caching is essential, so we extrude
the code that computes it out of the kernel.
Diffstat (limited to 'interp/discharge.mli')
0 files changed, 0 insertions, 0 deletions