This commit is contained in:
Thomas Gazagnaire 2017-01-25 15:49:54 +00:00 committed by GitHub
commit f04fa87f45

View file

@ -290,7 +290,7 @@ module LRU(X:HASH) = struct
let set c x y = let set c x y =
let len = H.length c.table in let len = H.length c.table in
assert (len <= c.size); assert (len <= c.size);
if len = c.size if len = c.size || H.mem c.table x
then replace_ c x y then replace_ c x y
else insert_ c x y else insert_ c x y