diff src/sources @ 2234:2f7ed04332a0

Progress on LRU cache but still more known bugs to fix.
author Ziv Scully <ziv@mit.edu>
date Sun, 28 Jun 2015 12:46:51 -0700
parents af1585e7d645
children 88cc0f44c940
line wrap: on
line diff
--- a/src/sources	Wed May 06 23:11:30 2015 -0400
+++ b/src/sources	Sun Jun 28 12:46:51 2015 -0700
@@ -177,6 +177,7 @@
 
 $(SRC)/cache.sml
 $(SRC)/toy_cache.sml
+$(SRC)/lru_cache.sml
 
 $(SRC)/sqlcache.sig
 $(SRC)/sqlcache.sml