Fix free function defect

sakehl · Aug 8, 2024 · 2d925c6 · 2d925c6
1 parent f32a97a
commit 2d925c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rewrite/vct/rewrite/EncodeArrayValues.scala b/src/rewrite/vct/rewrite/EncodeArrayValues.scala
@@ -195,7 +195,7 @@ case class EncodeArrayValues[Pre <: Generation]() extends Rewriter[Pre] {
         }
       // If structure contains structs, the permission for those fields need to be released as well
       val permFields =
-        t match {
+        innerT match {
           case innerT: TClass[Post] => unwrapStructPerm(access, innerT, o, makeStruct)
           case _ => Seq()
         }