diff options
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 4 |
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 |