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