1 files changed, 4 insertions, 2 deletions
diff --git a/Source/Core/OwickiGries.cs b/Source/Core/OwickiGries.cs
index dd6276c2..8396e82e 100644
--- a/Source/Core/OwickiGries.cs
+++ b/Source/Core/OwickiGries.cs
@@ -13,13 +13,13 @@ namespace Microsoft.Boogie
     public class OwickiGriesTransform
     {
         List<IdentifierExpr> globalMods;
-        LinearTypechecker linearTypechecker;
+        LinearTypeChecker linearTypechecker;
         Dictionary<string, Procedure> asyncAndParallelCallDesugarings;
         List<Procedure> yieldCheckerProcs;
         List<Implementation> yieldCheckerImpls;
         Procedure yieldProc;
 
-        public OwickiGriesTransform(LinearTypechecker linearTypechecker)
+        public OwickiGriesTransform(LinearTypeChecker linearTypechecker)
         {
             this.linearTypechecker = linearTypechecker;
             Program program = linearTypechecker.program;
@@ -689,6 +689,8 @@ namespace Microsoft.Boogie
 
         public void Transform()
         {
+            MoverChecking.AddCheckers(linearTypechecker);
+
             Program program = linearTypechecker.program;
             foreach (var decl in program.TopLevelDeclarations)
             {