From dd8d790ddcbbb4980cb47e959439425dbac4b4d1 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 22 Nov 2013 16:30:50 -0800
Subject: moved some files around

---
 Source/Concurrency/OwickiGries.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Source/Concurrency/OwickiGries.cs')

diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs
index 4f0c7a4b..91448b5a 100644
--- a/Source/Concurrency/OwickiGries.cs
+++ b/Source/Concurrency/OwickiGries.cs
@@ -689,7 +689,9 @@ namespace Microsoft.Boogie
 
         public void Transform()
         {
-            MoverChecking.AddCheckers(linearTypeChecker);
+            MoverCheck.AddCheckers(linearTypeChecker);
+
+            RefinementCheck.AddCheckers(linearTypeChecker);
 
             Program program = linearTypeChecker.program;
             foreach (var decl in program.TopLevelDeclarations)
-- 
cgit v1.2.3