From 964776f528a8ec4da889638ab41e5dbc8a9164a1 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 17 Jan 2013 11:45:10 -0800 Subject: use ArrayBuffer instead of Array to build Formulae --- src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala b/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala index df1267b98f..cdceb2d992 100644 --- a/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala +++ b/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala @@ -2064,11 +2064,11 @@ trait PatternMatching extends Transform with TypingTransformers with ast.TreeDSL type FormulaBuilder = ArrayBuffer[Clause] def formulaBuilder = ArrayBuffer[Clause]() def addFormula(buff: FormulaBuilder, f: Formula): Unit = buff ++= f - def toFormula(buff: FormulaBuilder): Formula = buff.toArray + def toFormula(buff: FormulaBuilder): Formula = buff // CNF: a formula is a conjunction of clauses - type Formula = Array[Clause] - def formula(c: Clause*): Formula = c.toArray + type Formula = FormulaBuilder + def formula(c: Clause*): Formula = ArrayBuffer(c: _*) type Clause = Set[Lit] // a clause is a disjunction of distinct literals -- cgit v1.2.3