diff --git a/ecrire/inc/modifier.php b/ecrire/inc/modifier.php
index dc7678fb39ef263ac3c02871b27f4bb9e6323b61..e49e25ca0f143248070f72d7e130e5e8d91a9e06 100644
--- a/ecrire/inc/modifier.php
+++ b/ecrire/inc/modifier.php
@@ -326,12 +326,4 @@ function revision_groupe_mot($id_groupe, $c=false) {
 		$c);
 }
 
-// http://doc.spip.org/@revision_petition
-function revision_petition($id_article, $c=false) {
-
-	modifier_contenu('petition', $id_article,
-		array(),
-		$c);
-}
-
 ?>