From 786e335fbfe03ca283fd9dd784251802f6a88f19 Mon Sep 17 00:00:00 2001
From: mkawa <unknown>
Date: Sat, 5 Dec 2009 06:31:24 +0000
Subject: Z3 parameters to help it bail out of fruitless searches faster print
 _all_ the attributes of an assert this time add simpletypes to the visitor

---
 Source/Core/AbsyCmd.ssc | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Source/Core/AbsyCmd.ssc')

diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc
index de40c2e8..723b40e3 100644
--- a/Source/Core/AbsyCmd.ssc
+++ b/Source/Core/AbsyCmd.ssc
@@ -2022,11 +2022,17 @@ namespace Microsoft.Boogie
     public override void Emit(TokenTextWriter! stream, int level)
     {
       stream.Write(this, level, "assert ");
-      if (this.Attributes != null)
-        this.Attributes.Emit(stream);
+      EmitAttributes(stream);
       this.Expr.Emit(stream);
       stream.WriteLine(";");
     }
+    protected void EmitAttributes(TokenTextWriter! stream)
+    {
+      for (QKeyValue kv = this.Attributes; kv != null; kv = kv.Next) {
+        kv.Emit(stream);
+        stream.Write(" ");
+      }
+    }
     public override void Typecheck(TypecheckingContext! tc)
     {
       Expr.Typecheck(tc);
-- 
cgit v1.2.3