diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
| commit | 3944b599134b89f12f24ae3f52d21f954463c765 (patch) | |
| tree | 59ec01525ded42885a850c9e83ba458c79843ce5 /src/elab_err.sig | |
| parent | 948aa854af8ca5560a1eea5221c4a1f3a6901970 (diff) | |
Tweaking unification fix to apply to demo/more
Diffstat (limited to 'src/elab_err.sig')
0 files changed, 0 insertions, 0 deletions