From 1e2acf61396404bd01f81ffe8b37cd86eb6a8643 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sun, 13 Nov 2022 14:35:02 -0500
Subject: [PATCH] Linked const pointer rewrite to filed VeriFast issue 333.

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

diff --git a/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh b/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
index d632218e8..efdf96c05 100755
--- a/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
+++ b/verification/verifast/custom_build_scripts_RP2040/vf_rewrite.sh
@@ -37,6 +37,8 @@ rewrite "__attribute__(([_a-z]*))" ""
 rewrite "__attribute__( ( [_a-z]* ) )" ""
 
 echo "Removing const qualifiers from pointers"
+echo "Reported issue 333:"
+echo "https://github.com/verifast/verifast/issues/333"
 rewrite "[*] const" "*"
 rewrite "const [*]" "*"