summaryrefslogtreecommitdiff
path: root/Source/Core/LinearSets.cs
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Core/LinearSets.cs')
-rw-r--r--Source/Core/LinearSets.cs4
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;