diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2017-11-11 16:01:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2017-11-11 16:01:34 -0500 |
| commit | fb4e582bd0a673fc792d0fcc49fdcac2097bb0e0 (patch) | |
| tree | 0ee629fef274200df4a973795217630ed7402264 /src/elab_ops.sml | |
| parent | 2d22156b3814802c7f1c46db5f553af6904a794d (diff) | |
Manual fix: [self] only callable on the server
Diffstat (limited to 'src/elab_ops.sml')
0 files changed, 0 insertions, 0 deletions