From 8b43f3fe0088d5a4548607da708a5e4d4f15d20d Mon Sep 17 00:00:00 2001 From: Lars Date: Tue, 2 Jul 2024 17:30:11 +0200 Subject: [PATCH] Small fix for array types --- src/rewrite/vct/rewrite/lang/LangCToCol.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/rewrite/vct/rewrite/lang/LangCToCol.scala b/src/rewrite/vct/rewrite/lang/LangCToCol.scala index fe76585ab..d2aa6bfe6 100644 --- 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)