Fix bug where the Lvl2 Cache got corrupted upon resizing.
authorKim Nguyễn <kn@lri.fr>
Mon, 2 Apr 2012 13:00:24 +0000 (15:00 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 2 Apr 2012 13:00:24 +0000 (15:00 +0200)
commit5127077332d041b90fd1f093ddac02ae6178d617
tree0cab4376b684236564c9c6640387554121470d8d
parent718a2eff89f4798ee47e055556f500dc950a82b7
Fix bug where the Lvl2 Cache got corrupted upon resizing.
src/cache.ml