diff src/sources @ 2276:c05f9a5e0f0f

Progress on free paths, but consolidation seems to fail more with them.
author Ziv Scully <ziv@mit.edu>
date Mon, 09 Nov 2015 13:37:31 -0500
parents 44ae2254f8fb
children f8903af753ff
line wrap: on
line diff
--- a/src/sources	Sat Nov 07 15:16:44 2015 -0500
+++ b/src/sources	Mon Nov 09 13:37:31 2015 -0500
@@ -176,7 +176,10 @@
 
 $(SRC)/union_find_fn.sml
 $(SRC)/multimap_fn.sml
+
+$(SRC)/list_key_fn.sml
 $(SRC)/option_key_fn.sml
+$(SRC)/pair_key_fn.sml
 $(SRC)/triple_key_fn.sml
 
 $(SRC)/cache.sml