diff --git a/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh b/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
index 7afe1af04..d632218e8 100755
--- a/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
+++ b/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
@@ -37,7 +37,8 @@ rewrite "__attribute__(([_a-z]*))" ""
 rewrite "__attribute__( ( [_a-z]* ) )" ""
 
 echo "Removing const qualifiers from pointers"
-rewrite "* const" "*"
+rewrite "[*] const" "*"
+rewrite "const [*]" "*"
 
 echo "Uncomment special includes to allow VeriFast proofs to refer to config macros"
 rewrite "//VF_include #include" "#include"