Skip to content

Commit

Permalink
fix compile error
Browse files Browse the repository at this point in the history
  • Loading branch information
KisaragiEffective committed Feb 21, 2023
1 parent e31cf1d commit c226f8b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/junit/scala/tools/nsc/transform/patmat/SolvingTest.scala
Expand Up @@ -578,8 +578,8 @@ class SolvingTest {

def pairWiseEncoding(ops: List[Sym]) = {
And(ops.combinations(2).collect {
case a :: b :: Nil => Or(Not(a), Not(b))
}.toSet[TestSolver.TestSolver.Prop])
case a :: b :: Nil => Or(Not(a), Not(b)): Prop
}.to(collection.mutable.LinkedHashSet.iterableFactory))
}

@Test
Expand Down

0 comments on commit c226f8b

Please sign in to comment.