diff options
author | 2015-07-05 23:57:28 -0700 | |
---|---|---|
committer | 2015-07-05 23:57:28 -0700 | |
commit | 1622d36926c950ed34757dea78edfb4cd3463578 (patch) | |
tree | 9010d5e4b80c82c0db5c981cd6628dad17ccf4cc /src/expl_util.sml | |
parent | fdcc98562df1f37600d9b944371adcb08c3741f0 (diff) |
Fix bug in redundancy checking and use finer formula for UPDATE statements.
Diffstat (limited to 'src/expl_util.sml')
0 files changed, 0 insertions, 0 deletions