diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-25 08:20:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-25 08:20:15 -0400 |
| commit | 59fbe515a0462e98ab3cbb78a1f136f382ab927a (patch) | |
| tree | 5bad8880a0a764f7d77e14b382ddb07ec268fb18 /src/elab_env.sml | |
| parent | 6f9747dbea34c09ae40f9859f63ad77abc1bd950 (diff) | |
Change 'spawn' implementation to allow blocking within <active code>
Diffstat (limited to 'src/elab_env.sml')
0 files changed, 0 insertions, 0 deletions