aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorMatthieu Sozeau2014-06-29 15:17:15 +0200
committerMatthieu Sozeau2014-06-29 15:36:54 +0200
commit85f95cc9f11dc630e59f3a13362e151134ce92ea (patch)
tree69cf3cfab62a6186539a976c2c98bc823d45b296 /kernel
parentadbc03f4ec1fa8d21343fc252b1462b582665aeb (diff)
Really honor the [simpl never] flag in whd_simpl, it was still doing reductions in
case the constant was hiding a direct match for example. Also avoid two lookups of ReductionBehavior per constant application in simpl.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions