From 23539193c0b3cb7e28d1be1cd20a0aa4ca6eec32 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Fri, 21 Oct 2022 11:03:34 -0400
Subject: [PATCH] Rewrite script: Deleted fixed-sized array typedefs from
 preprocessed file.

---
 .../verifast/custom_build_scripts_RP2040/vf_rewrite.sh         | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh b/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
index e325203a9..b1bb6ee99 100755
--- a/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
+++ b/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
@@ -26,6 +26,9 @@ rewrite "^#" "// &"
 
 rewrite "long unsigned int" "unsigned long int"
 
+echo "Delete fixed-sized array typedefs"
+rewrite "typedef .*\[[0-9]*\];" ""
+
 #echo "VF RW: 'long unsigned int' -> 'unsinged long int'"
 #echo "backup : $VF_RW_WD/$SOURCE_FILE.backup-$BACKUP_IDX"
 #echo backup index $BACKUP_IDX