diff --git a/ecrire/public/compiler.php b/ecrire/public/compiler.php
index 6de5783b4ff71440eb7e1b258972418b857aed0e..526cdc82655c9ca8692bd037f7c5393023c3bd6b 100644
--- a/ecrire/public/compiler.php
+++ b/ecrire/public/compiler.php
@@ -647,7 +647,7 @@ function public_compiler_dist($squelette, $nom, $gram, $sourcefile) {
 		  }
 		}
 		if (($boucle->type_requete == 'documents') && $boucle->doublons)
-			{ $descr['documents'] = true; break; }
+			{ $descr['documents'] = true;  }
 	}
 	// Commencer par reperer les boucles appelees explicitement 
 	// car elles indexent les arguments de maniere derogatoire