1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/LinearSets.cs b/Source/Core/LinearSets.cs
index 3a9de5fb..9af9661c 100644
--- a/Source/Core/LinearSets.cs
+++ b/Source/Core/LinearSets.cs
@@ -23,7 +23,7 @@ namespace Microsoft.Boogie
         }
     }
 
-    public class LinearTypechecker : StandardVisitor
+    public class LinearTypeChecker : StandardVisitor
     {
         public Program program;
         public int errorCount;
@@ -35,7 +35,7 @@ namespace Microsoft.Boogie
         public Dictionary<Variable, string> globalVarToDomainName;
         public Dictionary<string, LinearDomain> linearDomains;
 
-        public LinearTypechecker(Program program)
+        public LinearTypeChecker(Program program)
         {
             this.program = program;
             this.errorCount = 0;