diff src/sources @ 2240:88cc0f44c940

Rename C functions and remove functors nested inside modules.
author Ziv Scully <ziv@mit.edu>
date Sun, 19 Jul 2015 19:03:11 -0700
parents 2f7ed04332a0
children d665925acff8
line wrap: on
line diff
--- a/src/sources	Tue Jul 07 00:07:24 2015 -0700
+++ b/src/sources	Sun Jul 19 19:03:11 2015 -0700
@@ -172,8 +172,9 @@
 $(SRC)/sql.sml
 
 $(SRC)/union_find_fn.sml
-
 $(SRC)/multimap_fn.sml
+$(SRC)/option_key_fn.sml
+$(SRC)/triple_key_fn.sml
 
 $(SRC)/cache.sml
 $(SRC)/toy_cache.sml