diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-06-27 14:39:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-06-27 14:39:31 -0400 |
| commit | 362a3c350554cc0deee1f05a4e005c1d63bcd526 (patch) | |
| tree | 949c16b141cc38311c9696861578c296f17c02c7 /src/expl_util.sig | |
| parent | 2000d8de5719e6a3aa94dd3f52c9dc3c1170c9fa (diff) | |
Add locking to enforce atomicity of message sends from one transaction
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions