diff options
author | Ziv Scully <ziv@mit.edu> | 2015-09-28 22:16:51 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-09-28 22:16:51 -0400 |
commit | 3c2143723af4a52064386104d2105137a77bd761 (patch) | |
tree | 0234e84fa3aa1e41f6a69374136faadcf43bc239 /src/mono_fooify.sml | |
parent | 5d00499cabd7c0ddf5eb9e78c883615cb918197e (diff) |
Begin work on cache merging.
Diffstat (limited to 'src/mono_fooify.sml')
-rw-r--r-- | src/mono_fooify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_fooify.sml b/src/mono_fooify.sml index 2e32b248..9bf357fb 100644 --- a/src/mono_fooify.sml +++ b/src/mono_fooify.sml @@ -1,4 +1,4 @@ -structure MonoFooify (* :> MONO_FOOIFY *) = struct +structure MonoFooify :> MONO_FOOIFY = struct open Mono |