Update src/main/scala/viper/gobra/frontend/info/implementation/typing…

…/StmtTyping.scala Co-authored-by: João Pereira <[email protected]>
viperproject · May 15, 2024 · 2cd4786 · 2cd4786
1 parent a224592
commit 2cd4786
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -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
     }