diff options
| author |  mikebarnett <unknown> | 2010-08-28 04:58:50 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-08-28 04:58:50 +0000 |
| commit | e9a2e2bb8ff871295a8e80d1809c8400ec67344b (patch) | |
| tree | 0e1b239634e0bf26389ebc986b920ef72022613f /Source/CodeContractsExtender | |
| parent | 58fc5cfba0909307c26a9b32fab242fadd54af55 (diff) | |
Added a constructor to a contract class otherwise the compiler complained about the default nullary one calling its base class nullary ctor, and there wasn't one.
Diffstat (limited to 'Source/CodeContractsExtender')
0 files changed, 0 insertions, 0 deletions