diff options
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/AbsyCmd.ssc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc index a546d9c7..e65569b0 100644 --- a/Source/Core/AbsyCmd.ssc +++ b/Source/Core/AbsyCmd.ssc @@ -1338,6 +1338,7 @@ namespace Microsoft.Boogie public override void Emit(TokenTextWriter! stream, int level)
{
stream.Write(this, level, "call ");
+ if (this.Attributes != null) this.Attributes.Emit(stream);
string sep = "";
if (Outs.Count > 0) {
foreach (Expr arg in Outs) {
@@ -1772,7 +1773,9 @@ namespace Microsoft.Boogie }
public override void Emit(TokenTextWriter! stream, int level)
{
- stream.Write(this, level, "call forall ");
+ stream.Write(this, level, "call ");
+ if (this.Attributes != null) this.Attributes.Emit(stream);
+ stream.Write("forall ");
stream.Write(TokenTextWriter.SanitizeIdentifier(callee));
stream.Write("(");
string sep = "";
|