diff --git a/ecrire/inc_debug_sql.php3 b/ecrire/inc_debug_sql.php3
index e54830bc952df4612e59cfb78154997ed0671e8a..9f167e2d313910d2f3619d232d0515329a72d653 100644
--- a/ecrire/inc_debug_sql.php3
+++ b/ecrire/inc_debug_sql.php3
@@ -343,6 +343,7 @@ function debug_dumpfile ($texte, $fonc, $type) {
 		$i = 0;
 		$colors = array('#e0e0f0', '#f8f8ff');
 		$res = "";
+		if (is_array($debug_objets['pretty']))
 		foreach ($debug_objets['pretty'] as $nom => $pretty)
 			if (substr($nom, 0, strlen($nom_skel)) == $nom_skel) {
 				$i++;