diff options
author | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 14:05:37 +0200 |
---|---|---|
committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 14:05:37 +0200 |
commit | 19fc3cf2526efd2d636d937cc18fad48885eb7bc (patch) | |
tree | d46da989cfc03b7effe90424b6d46761eaf46f2b /Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect | |
parent | c5d7c43605d832cc64e16c66a2c830a880a3d3a2 (diff) |
fixed a minor bug: null checking.
Diffstat (limited to 'Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect')
0 files changed, 0 insertions, 0 deletions