aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativecode.mli
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2017-03-07 18:13:07 +0100
committerPierre-Marie Pédrot2017-04-25 09:51:21 +0200
commitadc2035410a339cfa88dae527b631f5131adaa54 (patch)
tree51174a311c17b317d8be1b0b13061ccfcbae87a7 /kernel/nativecode.mli
parent97db512af4888da529e641f71539adef444cb8e3 (diff)
Fix an optimization failure in tclPROGRESS.
Due to code reworking, a fastpath got anihilated because the slow path was computed altogether. We now only compute the slow check whenever the quick one fails.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions