Fix or

zgrannan · regb · commit 9caa0b5fcda4 · 2021-04-02T01:45:54.000+02:00
diff --git a/src/main/scala/smtlib/theories/Constructors.scala b/src/main/scala/smtlib/theories/Constructors.scala
@@ -75,7 +75,7 @@ object Constructors {
     }
   }
 
-  def or(t1: Term, t2: Term, ts: Term*): Term = and(t1 +: t2 +: ts)
+  def or(t1: Term, t2: Term, ts: Term*): Term = or(t1 +: t2 +: ts)
   def or(ts: Seq[Term]): Term = {
     val flat = ts.flatMap{
       case Or(es@_*) => es

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,7 @@ object Constructors {`
`75`	`75`	`}`
`76`	`76`	`}`
`77`	`77`
`78`		`- def or(t1: Term, t2: Term, ts: Term*): Term = and(t1 +: t2 +: ts)`
	`78`	`+ def or(t1: Term, t2: Term, ts: Term*): Term = or(t1 +: t2 +: ts)`
`79`	`79`	`def or(ts: Seq[Term]): Term = {`
`80`	`80`	`val flat = ts.flatMap{`
`81`	`81`	`case Or(es@_*) => es`