diff --git a/Parser/spec/AccPrinting.jadd b/Parser/spec/AccPrinting.jadd
index 3e672f66a65c135d384fa65571efabb9c903b981..53a8c86d0b1d78957033ca7fd04c3cc00749eda4 100644
--- a/Parser/spec/AccPrinting.jadd
+++ b/Parser/spec/AccPrinting.jadd
@@ -145,7 +145,6 @@ aspect Printing {
     public void AccLoopConstruct.prettyPrint(PrettyPrinter s) {
         getAccLoopStmt().prettyPrint(s);
         getDoConstruct().prettyPrint(s);
-        getDoConstruct().prettyPrint(s);
         if (hasAccEndLoopStmt()) {
             getAccEndLoopStmt().prettyPrint(s);
         }