diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-04-17 13:43:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-04-17 13:43:00 -0400 |
| commit | ea09e1d6960f3169751c4c384993d007a804c3d2 (patch) | |
| tree | 1ef3d07d85c0a8e80ae15c3cc4d8701a161f4fbe /src/disjoint.sml | |
| parent | 8d5d88110f12eb56558cf6f1b1514338792487da (diff) | |
Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler
Diffstat (limited to 'src/disjoint.sml')
0 files changed, 0 insertions, 0 deletions