some fixes

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs
index 592667c8..7c2c0c74 100644
--- a/Source/Concurrency/Program.cs
+++ b/Source/Concurrency/Program.cs
@@ -33,7 +33,7 @@ namespace Microsoft.Boogie
             List<Declaration> decls = new List<Declaration>();

             OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

             MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

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

+            //RefinementCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

 

             program.TopLevelDeclarations.RemoveAll(x => originalDecls.Contains(x));

             program.TopLevelDeclarations.AddRange(decls);