diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-10-14 00:07:00 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-10-14 00:07:00 -0400 |
| commit | e86ed0717e35bea1ad6127d193e5979aec4841b9 (patch) | |
| tree | 4cad5b76d4d1e760994253144d13e4c3e4a5bd8e /tests/policy2.urs | |
| parent | 51117ba9333e00cdd8c4c31307effbe93601d328 (diff) | |
Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
Diffstat (limited to 'tests/policy2.urs')
0 files changed, 0 insertions, 0 deletions