diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:07:28 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:07:28 -0400 |
| commit | 2b1c2fd0321b3ee072f6d9f43a3e908ec49e3251 (patch) | |
| tree | 3c27c47030d0fa9447787ec64cd2936b510d935e /src/elab_ops.sig | |
| parent | 10299ec87da6adeca1068df2ec8e1e5afce7bb85 (diff) | |
Fix monoization of recursive variants
Diffstat (limited to 'src/elab_ops.sig')
0 files changed, 0 insertions, 0 deletions