added ReadOnlyStandardVisitor

made the default phase of assertions be 0

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs
index 911258ff..96ee34d6 100644
--- a/Source/Concurrency/OwickiGries.cs
+++ b/Source/Concurrency/OwickiGries.cs
@@ -1186,7 +1186,7 @@ namespace Microsoft.Boogie
             HashSet<int> attrs = QKeyValue.FindIntAttributes(kv, "phase");

             if (attrs.Count == 0)

             {

-                attrs.Add(int.MaxValue);

+                attrs.Add(0); // default phase of requires, ensures and assertions is 0

             }

             return attrs;

         }