diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-03-26 16:38:13 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-03-26 16:38:13 +0100 |
| commit | 62045c2517dd51f54e40dcfb783fc1370eced93c (patch) | |
| tree | b23e4dae56358bbf1ef9a8c5a891307b8241881a /Source/Core | |
| parent | d0526786c772fdc6d238842158b5aa0ab38aaf2f (diff) | |
| parent | 9f4af6c2bdef0ec01017d7452aeedfce8ad0ee6b (diff) | |
Merge
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index e96c3fd1..62ebc77f 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -749,6 +749,7 @@ namespace Microsoft.Boogie { } else {
stream.Write(level + 1, "invariant ");
}
+ Cmd.EmitAttributes(stream, inv.Attributes);
inv.Expr.Emit(stream);
stream.WriteLine(";");
}
|