diff src/sources @ 2230:a749acc51ae4

Factor out cache implementation from Sqlcache.
author Ziv Scully <ziv@mit.edu>
date Wed, 06 May 2015 14:50:29 -0400
parents 70ec9bb337be
children af1585e7d645
line wrap: on
line diff
--- a/src/sources	Tue Apr 07 17:26:53 2015 -0400
+++ b/src/sources	Wed May 06 14:50:29 2015 -0400
@@ -175,6 +175,8 @@
 
 $(SRC)/multimap_fn.sml
 
+$(SRC)/toy_cache.sml
+
 $(SRC)/sqlcache.sig
 $(SRC)/sqlcache.sml