Skip to content

Commit

Permalink
Minor change
Browse files Browse the repository at this point in the history
  • Loading branch information
yesamer committed Jul 22, 2024
1 parent a9539bc commit ea2c80d
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -256,7 +256,7 @@ private static String normalizeDoubleNegation(String expr) {
return expr;
}

protected static String resolveUnificationAmbiguity(Declaration[] declrations, String leftValue, String rightValue) {
private static String resolveUnificationAmbiguity(Declaration[] declrations, String leftValue, String rightValue) {
// resolve ambiguity between variable and bound value with the same name in unifications
rightValue = rightValue + "__";
for (Declaration declaration : declrations) {
Expand Down

0 comments on commit ea2c80d

Please sign in to comment.