fix assertion check in adjacency checker

memo33 · memo33 · commit f53874a41a9b · 2024-12-29T21:36:08.000+01:00
diff --git a/src/main/scala/scripts/RedundantAdjacenciesChecker.scala b/src/main/scala/scripts/RedundantAdjacenciesChecker.scala
@@ -91,9 +91,9 @@ object RedundantAdjacenciesChecker {
                 case Some((rule, Rhd)) => isRedundantAdjacency(rule, lookupRuleRhd)
                 case Some((rule, Lhd)) => isRedundantAdjacency(rule, lookupRuleLhd)
                 case Some((rule, RhdAndLhd)) =>
-                  val b = isRedundantAdjacency(rule, lookupRuleLhd)
+                  val b = isRedundantAdjacency(rule, lookupRuleRhd)
                   if (b != isRedundantAdjacency(rule, lookupRuleLhd)) {
-                    throw new AssertionError("Redundancies should be the same for RHD and LHD.")  // hopefully this is always be the case
+                    throw new AssertionError("Redundancies should be the same for RHD and LHD.")  // hopefully this will always be the case
                   }
                   b
                 case None => false  // comments are not redundant

Original file line number	Diff line number	Diff line change
`@@ -91,9 +91,9 @@ object RedundantAdjacenciesChecker {`
`91`	`91`	`case Some((rule, Rhd)) => isRedundantAdjacency(rule, lookupRuleRhd)`
`92`	`92`	`case Some((rule, Lhd)) => isRedundantAdjacency(rule, lookupRuleLhd)`
`93`	`93`	`case Some((rule, RhdAndLhd)) =>`
`94`		`- val b = isRedundantAdjacency(rule, lookupRuleLhd)`
	`94`	`+ val b = isRedundantAdjacency(rule, lookupRuleRhd)`
`95`	`95`	`if (b != isRedundantAdjacency(rule, lookupRuleLhd)) {`
`96`		`- throw new AssertionError("Redundancies should be the same for RHD and LHD.") // hopefully this is always be the case`
	`96`	`+ throw new AssertionError("Redundancies should be the same for RHD and LHD.") // hopefully this will always be the case`
`97`	`97`	`}`
`98`	`98`	`b`
`99`	`99`	`case None => false // comments are not redundant`