We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6e027e9 commit c365145Copy full SHA for c365145
src/compiler/scala/tools/nsc/transform/patmat/Solving.scala
@@ -466,7 +466,7 @@ trait Solving extends Logic {
466
if (model ne NoTseitinModel) {
467
// note that we should not expand the auxiliary variables (from Tseitin transformation)
468
// since they are existentially quantified in the final solution
469
- val unassigned: List[Int] = relevantVars.iterator().filterNot(i => model.contains(i) || model.contains(-i)).toList
+ val unassigned: List[Int] = relevantVars.iterator.filterNot(i => model.contains(i) || model.contains(-i)).toList
470
debug.patmat("unassigned "+ unassigned +" in "+ model)
471
472
val solution = TseitinSolution(model, unassigned)
0 commit comments