1 files changed, 4 insertions, 2 deletions
diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs
index 45d538df..a3a621ac 100644
--- a/Source/Concurrency/Program.cs
+++ b/Source/Concurrency/Program.cs
@@ -32,8 +32,10 @@ namespace Microsoft.Boogie
 
             List<Declaration> decls = new List<Declaration>();
             OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
-            MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
-
+            if (!CommandLineOptions.Clo.TrustAtomicityTypes)
+            {
+                MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
+            }
             foreach (Declaration decl in decls)
             {
                 Procedure proc = decl as Procedure;