diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-05-06 23:11:30 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-05-06 23:11:30 -0400 |
| commit | ca3efa1458583772a9826198ed4b99eec381f2de (patch) | |
| tree | 601805ceb6fea9d5d9282a2b2f51857b416e8f23 /src/sources | |
| parent | 9c155aa780bef9e6edae2c07516693c12b37962b (diff) | |
More work factoring out Sqlcache back end.
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sources b/src/sources index 05897cd4..aaf640ca 100644 --- a/src/sources +++ b/src/sources @@ -175,6 +175,7 @@ $(SRC)/union_find_fn.sml $(SRC)/multimap_fn.sml +$(SRC)/cache.sml $(SRC)/toy_cache.sml $(SRC)/sqlcache.sig |