From bc38beafd07b7ae6106a2fffda82084a08af7f06 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 19 Jul 2015 19:03:11 -0700
Subject: Rename C functions and remove functors nested inside modules.

---
 src/sources | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 0608d710..f0914bdf 100644
--- a/src/sources
+++ b/src/sources
@@ -172,8 +172,9 @@ $(SRC)/sql.sig
 $(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
-- 
cgit v1.2.3