diff src/sources @ 2233:af1585e7d645

More work factoring out Sqlcache back end.
author Ziv Scully <ziv@mit.edu>
date Wed, 06 May 2015 23:11:30 -0400
parents a749acc51ae4
children 2f7ed04332a0
line wrap: on
line diff
--- a/src/sources	Wed May 06 14:51:09 2015 -0400
+++ b/src/sources	Wed May 06 23:11:30 2015 -0400
@@ -175,6 +175,7 @@
 
 $(SRC)/multimap_fn.sml
 
+$(SRC)/cache.sml
 $(SRC)/toy_cache.sml
 
 $(SRC)/sqlcache.sig