diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-13 14:34:18 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-13 14:34:18 -0500 |
| commit | ffb02010f3f25bcdecab88b8f6cab635b649f56e (patch) | |
| tree | d0e80d87e37b478abae9baf9012b125900f0557f /tests/init.ur | |
| parent | f5449b93792afc81e4da70d2a790ef7a2d2b49d5 (diff) | |
Fixing a bug in DInitializer elaboration
Diffstat (limited to 'tests/init.ur')
0 files changed, 0 insertions, 0 deletions