summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sources b/src/sources
index 33c01f94..05897cd4 100644
--- a/src/sources
+++ b/src/sources
@@ -175,6 +175,8 @@ $(SRC)/union_find_fn.sml
$(SRC)/multimap_fn.sml
+$(SRC)/toy_cache.sml
+
$(SRC)/sqlcache.sig
$(SRC)/sqlcache.sml