reversed the order of generated procedures; commutativity checks are generated first

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs
index 562044a9..8042476e 100644
--- a/Source/Concurrency/Program.cs
+++ b/Source/Concurrency/Program.cs
@@ -27,11 +27,11 @@ namespace Microsoft.Boogie
             }

 

             List<Declaration> decls = new List<Declaration>();

-            OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

             if (!CommandLineOptions.Clo.TrustAtomicityTypes)

             {

                 MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

-            }

+            } 

+            OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

             foreach (Declaration decl in decls)

             {

                 decl.Attributes = OwickiGries.RemoveYieldsAttribute(decl.Attributes);