diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-09 17:27:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-09 17:27:34 -0500 |
| commit | 348a2b5ed20f6f491662c554ddc2454c55856a04 (patch) | |
| tree | 5ebb884d4e01bf00778e966fed4a6b06e8342c9c /src/prepare.sml | |
| parent | 2737479b72bf2b16d9564673a6756e5a980f48e8 (diff) | |
Prevent overzealous Especialization
Diffstat (limited to 'src/prepare.sml')
0 files changed, 0 insertions, 0 deletions