diff options
author | 2010-08-28 04:58:50 +0000 | |
---|---|---|
committer | 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