From 38feafb014b3f20913cfc90cb45d4bb39f963eab Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Mon, 26 Mar 2012 01:48:23 -0700
Subject: Emit of invariants now prints out the invariant attributes also

---
 Source/Core/AbsyCmd.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Core')

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(";");
       }
-- 
cgit v1.2.3