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);