diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 15:37:38 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 15:37:38 -0500 |
commit | 2b028daf3ff279b9c68301c031588ab042edddf5 (patch) | |
tree | 3dc7245cbdb2c517bb9676d83860e4b48f64026a /tests/type_classMod2.ur | |
parent | 27e3c3ba965513dcb3e447cccf6e77ce8c63e90d (diff) |
Inserted a NULL value
Diffstat (limited to 'tests/type_classMod2.ur')
0 files changed, 0 insertions, 0 deletions