diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-01-13 13:02:45 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-01-13 13:02:45 -0500 |
commit | 4324fe0293b443539d961196ef57acbcad6cc61f (patch) | |
tree | 50bbdf9733ce209313b23c10f4b15c65b5a9458f /tests/transactional.urp | |
parent | 24c29015ba668b044be7428f69058687a56d6a06 (diff) |
Infer more regions, for sequencing constructs
Diffstat (limited to 'tests/transactional.urp')
0 files changed, 0 insertions, 0 deletions