Small fix for array types

sakehl · Jul 2, 2024 · 8b43f3f · 8b43f3f
1 parent 020fb35
commit 8b43f3f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/rewrite/vct/rewrite/lang/LangCToCol.scala b/src/rewrite/vct/rewrite/lang/LangCToCol.scala
@@ -876,11 +876,11 @@ case class LangCToCol[Pre <: Generation](rw: LangSpecificToCol[Pre])
         arrayOrPointer = true
         innerType = Some(it)
         mainType = Some(t)
-      case CSpecificationType(ctarr @ CTArray(size, t)) =>
+      case CSpecificationType(t @ CTArray(size, it)) =>
         arraySize = size
-        innerType = Some(t)
+        innerType = Some(it)
         sizeBlame = Some(
-          ctarr.blame
+          t.blame
         ) // we set the blame here, together with the size
         arrayOrPointer = true
         mainType = Some(t)