summaryrefslogtreecommitdiff
path: root/src/sqlcache.sml
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-09-21 10:16:55 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2015-09-21 10:16:55 -0400
commit3e42cccfaef1157ca14cd102959b867c996503a9 (patch)
treef6f9a9c57702517edc66c096a50efe0a6e7dca46 /src/sqlcache.sml
parent68879bbb4bf58e4709c96ba6904071ce5d24a906 (diff)
Revert to revision 2222.
Diffstat (limited to 'src/sqlcache.sml')
-rw-r--r--src/sqlcache.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sqlcache.sml b/src/sqlcache.sml
index 40081351..8efe999c 100644
--- a/src/sqlcache.sml
+++ b/src/sqlcache.sml
@@ -101,7 +101,7 @@ fun effectful (effs : IS.set) =
end
(* TODO: test this. *)
-fun effectfulDecls ({decls, ...} : file) =
+fun effectfulDecls (decls, _) =
let
fun doVal ((_, name, _, e, _), effs) =
if effectful effs MonoEnv.empty e