Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
Changeset 66904:d9783ea1160c by wenzelm:
minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
The file was modified src/Pure/Concurrent/lazy.ML (diff)