diff options
author | Adam Chlipala <adam@chlipala.net> | 2016-03-11 08:16:23 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2016-03-11 08:16:23 -0500 |
commit | d2823e60805a6cc394b149563ff500ea969b8627 (patch) | |
tree | e3db92117ef09b995fd84bd115c2c8ea1ff90ae6 /src/sqlcache.sml | |
parent | 1e7a95459bc0fa25781e7d343db85f356f0eee9a (diff) |
Make Sql compatible with unmangling
Diffstat (limited to 'src/sqlcache.sml')
-rw-r--r-- | src/sqlcache.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sqlcache.sml b/src/sqlcache.sml index 75a17e48..570c7d45 100644 --- a/src/sqlcache.sml +++ b/src/sqlcache.sml @@ -1599,7 +1599,8 @@ fun addFlushing ((file, {tableToIndices, indexToInvalInfo, ffiInfo, ...} : state in case inval of (* TODO: fail more gracefully. *) - NONE => raise Fail "Sqlcache: addFlushing (b)" + NONE => (Print.preface ("DML", MonoPrint.p_exp MonoEnv.empty dmlText); + raise Fail "Sqlcache: addFlushing (b)") | SOME invs => sequence (flushes invs @ [dmlExp]) end | e' => e' |