From 0a31349be3490e145a130e012b7bd4ab4ed76153 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Fri, 11 Nov 2022 15:37:24 -0500
Subject: [PATCH] Added automatic rewrite to remove const qualifiers occurring
 before a star.

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

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"