diff options
author | Christian Klauser <sealedsun@gmail.com> | 2012-03-27 14:20:18 +0200 |
---|---|---|
committer | Christian Klauser <sealedsun@gmail.com> | 2012-03-27 14:20:18 +0200 |
commit | eb1bb14630dfebb38322ed1841b0cfd50827c122 (patch) | |
tree | 87f27ba509e3c07aa957daa71b8c5780f8e175a0 /Source/Core/AbsyCmd.cs | |
parent | 3b45b6e751b6dd8f45a88f1c3ed909f3917f6083 (diff) | |
parent | 62045c2517dd51f54e40dcfb783fc1370eced93c (diff) |
Merge
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
-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(";");
}
|