diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-17 13:44:08 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-17 13:44:08 -0400 |
| commit | d824cd965e42d7ceb195aa26e091c4fa4652ef00 (patch) | |
| tree | ae94ea41d06ce745bebd67f59187fe982168d410 /src/elab_ops.sml | |
| parent | 1c7303f03c213b06e52ed3666a1a3493932a7163 (diff) | |
Don't try to compile sigString() calls to JavaScript
Diffstat (limited to 'src/elab_ops.sml')
0 files changed, 0 insertions, 0 deletions