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 /Source/Dafny/Compiler.cs | |
| parent | c5d7c43605d832cc64e16c66a2c830a880a3d3a2 (diff) | |
fixed a minor bug: null checking.
Diffstat (limited to 'Source/Dafny/Compiler.cs')
| -rw-r--r-- | Source/Dafny/Compiler.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs index 60b8f143..a4541414 100644 --- a/Source/Dafny/Compiler.cs +++ b/Source/Dafny/Compiler.cs @@ -247,7 +247,7 @@ namespace Microsoft.Dafny { else if (d is ClassDecl) {
var cl = (ClassDecl)d;
Indent(indent);
- if (cl.TraitsObj != null)
+ if (cl.TraitsObj != null && cl.TraitsObj.Count > 0)
{
wr.WriteLine("public class @{0} : @{1}", cl.CompileName, cl.TraitsStr);
}
|