Use star instead of and

utwente-fmt · Jun 22, 2023 · 708c629 · 708c629
1 parent 6b9476f
commit 708c629
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/rewrite/vct/rewrite/EncodeRangedFor.scala b/src/rewrite/vct/rewrite/EncodeRangedFor.scala
@@ -34,9 +34,9 @@ case class EncodeRangedFor[Pre <: Generation]() extends Rewriter[Pre] {
 
   override def dispatch(contract: LoopContract[Pre]): LoopContract[Post] = (bounds.topOption, contract) match {
     case (Some((rf, iBounds)), l: LoopInvariant[Pre]) =>
-      l.rewrite(invariant = (iBounds && dispatch(l.invariant))(rf.o))
+      l.rewrite(invariant = (iBounds &* dispatch(l.invariant))(rf.o))
     case (Some((rf, iBounds)), ic: IterationContract[Pre]) =>
-      ic.rewrite(context_everywhere = (iBounds && dispatch(ic.context_everywhere))(rf.o))
+      ic.rewrite(context_everywhere = (iBounds &* dispatch(ic.context_everywhere))(rf.o))
     case (None, c) => rewriteDefault(c)
   }
 }