summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-09-21 16:07:35 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2015-09-21 16:07:35 -0400
commit59c69b0cebc215599acc25906bd0366af03abf0c (patch)
tree96d1137305c8cdc032fb3248891cd31f1a0a8284 /src/sources
parent287683a7a940849ab734acd4ba7fad3c60b7b5f7 (diff)
Factor out urlification.
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sources b/src/sources
index e6a361ce..1303b46e 100644
--- a/src/sources
+++ b/src/sources
@@ -168,8 +168,8 @@ $(SRC)/mono_env.sml
$(SRC)/mono_print.sig
$(SRC)/mono_print.sml
-$(SRC)/mono_fm.sig
-$(SRC)/mono_fm.sml
+$(SRC)/mono_fooify.sig
+$(SRC)/mono_fooify.sml
$(SRC)/sql.sig
$(SRC)/sql.sml