From 62a56271adc5f8df6ec77aee0979a6a32717b702 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 8 Feb 2017 12:46:50 +0100
Subject: [PATCH] fix double printing bug
---
Parser/spec/AccPrinting.jadd | 1 -
1 file changed, 1 deletion(-)
diff --git a/Parser/spec/AccPrinting.jadd b/Parser/spec/AccPrinting.jadd
index 3e672f6..53a8c86 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);
}
--
GitLab