Clarify none

utwente-fmt · Oct 12, 2023 · 37be115 · 37be115
1 parent 333657b
commit 37be115
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rewrite/vct/rewrite/bip/EncodeBip.scala b/src/rewrite/vct/rewrite/bip/EncodeBip.scala
@@ -223,7 +223,7 @@ case class EncodeBip[Pre <: Generation](results: VerificationResults) extends Re
   override def dispatch(expr: Expr[Pre]): Expr[Post] = expr match {
     case t @ ThisObject(_) => currentThis.topOption match {
       case Some(res) => res
-      case _ => t.rewrite()
+      case None => t.rewrite()
     }
 
     case l @ BipLocalIncomingData(Ref(data)) => incomingDataContext.top match {