Silence the new rewrite-rw warning

Author: proux01

_CoqProject

@@ -40,3 +40,5 @@ theories/wielandt_fixpoint.v
 -arg -w -arg -notation-overridden
 # introduced in Rocq 9.2
 -arg -w -arg +level-tolerance
+# introduced in Rocq 9.3
+-arg -w -arg -rewrite-rw