diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-04-17 17:41:24 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-04-17 17:41:24 -0400 |
commit | 1e7619137f25ceb0cef59100bc5a41ffc21a1412 (patch) | |
tree | ade181b348325d63d12dbadc991499c0245e804c /tests/prim.ur | |
parent | 9a7852b68da59f0ffce80148e913145609251e75 (diff) |
uw_register_transactional() can return error codes
Diffstat (limited to 'tests/prim.ur')
0 files changed, 0 insertions, 0 deletions