diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-10-10 18:01:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-10-10 18:01:30 -0400 |
| commit | cc0d74f6508fa9438d28d054b048a20ce5de7bca (patch) | |
| tree | 36da11fa0eda62dae9ec1f9b6b2e759f28039265 /tests/rpcDE.ur | |
| parent | 08ab929c8600abeeab5089b4a3278cf342ba78a2 (diff) | |
Make transactional FFI functions effectful by default
Diffstat (limited to 'tests/rpcDE.ur')
0 files changed, 0 insertions, 0 deletions