summaryrefslogtreecommitdiff
path: root/Source/Provers/SMTLib/SMTLibLineariser.cs
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')
-rw-r--r--Source/Provers/SMTLib/SMTLibLineariser.cs6
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Provers/SMTLib/SMTLibLineariser.cs b/Source/Provers/SMTLib/SMTLibLineariser.cs
index b211b8f4..881df2ce 100644
--- a/Source/Provers/SMTLib/SMTLibLineariser.cs
+++ b/Source/Provers/SMTLib/SMTLibLineariser.cs
@@ -180,7 +180,7 @@ void ObjectInvariant()
internal const string iffName = "iff"; // logical equivalence
internal const string eqName = "="; // equality
internal const string lessName = "<";
- internal const string greaterName = ">";
+ internal const string greaterName = ">";
internal const string atmostName = "<=";
internal const string atleastName = ">=";
internal const string TRUEName = "true"; // nullary predicate that is always true
@@ -358,7 +358,7 @@ void ObjectInvariant()
Linearise(node.Body, options);
- WriteTriggers(node.Triggers, options);
+ WriteTriggers(node.Triggers, options);
wr.Write(")");
return true;
@@ -591,7 +591,7 @@ void ObjectInvariant()
}
}
- return true;
+ return true;
}
public bool VisitEqOp (VCExprNAry node, LineariserOptions options) {