diff options
Diffstat (limited to 'src/sources')
-rw-r--r-- | src/sources | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sources b/src/sources index 7ad60517..33c01f94 100644 --- a/src/sources +++ b/src/sources @@ -171,6 +171,8 @@ $(SRC)/mono_print.sml $(SRC)/sql.sig $(SRC)/sql.sml +$(SRC)/union_find_fn.sml + $(SRC)/multimap_fn.sml $(SRC)/sqlcache.sig |