diff --git a/src/main/scala/viper/gobra/frontend/info/implementation/typing/StmtTyping.scala b/src/main/scala/viper/gobra/frontend/info/implementation/typing/StmtTyping.scala
index 554a223b9..70e0d7deb 100644
--- a/src/main/scala/viper/gobra/frontend/info/implementation/typing/StmtTyping.scala
+++ b/src/main/scala/viper/gobra/frontend/info/implementation/typing/StmtTyping.scala
@@ -346,7 +346,7 @@ trait StmtTyping extends BaseTyping { this: TypeInfoImpl =>
     val expectedResults = result.outs.flatMap(nameFromParam).map(t => PNamedOperand(PIdnUse(t)))
 
     def isExpectedAssignment(ass: PAssignment): Boolean = ass match {
-      case PAssignment(Vector(i: PInvoke), left) if isExpectedCall(i) && expectedResults == left => true
+      case PAssignment(Vector(i: PInvoke), left) => isExpectedCall(i) && expectedResults == left
       case _ => false
     }