diff options
author | 2015-11-12 09:47:20 -0500 | |
---|---|---|
committer | 2015-11-12 09:47:20 -0500 | |
commit | 7fff147bd1fad81381fb36396021c3acb33da44d (patch) | |
tree | 2cb41f2191567b0e29f0eb5cb387a017eaabd202 /src/core_util.sml | |
parent | 011b7148c87f8b0d90abee2f454ef7689493e1f9 (diff) |
Make cache flushes safe for transactions (not sure about LRU bump on read).
Diffstat (limited to 'src/core_util.sml')
0 files changed, 0 insertions, 0 deletions