Skip to content

Commit

Permalink
Revert "Remove unnecessary parentheses"
Browse files Browse the repository at this point in the history
This reverts commit aee8e53.
  • Loading branch information
bruggerl committed Jul 10, 2024
1 parent bb3c8f3 commit d64c810
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -314,7 +314,7 @@ protected class ClosureSpecsEncoder {

private var implementAssertionSpecOriginToStr: Map[Source.AbstractOrigin, String] = Map.empty
private def doesNotImplementSpecErr(callNode: vpr.Node with vpr.Positioned, closureStr: String): ErrorTransformer = {
case e@vprerr.PreconditionInCallFalse(Source(info), reasons.AssertionFalse(Source(assInfo)), _) if e causedBy callNode && implementAssertionSpecOriginToStr.contains(assInfo.origin) =>
case e@vprerr.PreconditionInCallFalse(Source(info), reasons.AssertionFalse(Source(assInfo)), _) if (e causedBy callNode) && implementAssertionSpecOriginToStr.contains(assInfo.origin) =>
PreconditionError(info).dueTo(SpecNotImplementedByClosure(info, closureStr, implementAssertionSpecOriginToStr(assInfo.origin)))
case e@vprerr.PreconditionInAppFalse(Source(info), reasons.AssertionFalse(Source(assInfo)), _) if (e causedBy callNode) && implementAssertionSpecOriginToStr.contains(assInfo.origin) =>
PreconditionError(info).dueTo(SpecNotImplementedByClosure(info, closureStr, implementAssertionSpecOriginToStr(assInfo.origin)))
Expand Down

0 comments on commit d64c810

Please sign in to comment.