From 65a51d214c8671a11d358cbcb233c93303ae00e3 Mon Sep 17 00:00:00 2001
From: Nikolaus Huber <nikolaus.huber@uni-wuerzburg.de>
Date: Wed, 26 Jun 2013 14:43:48 +0000
Subject: [PATCH] corrected console output format
git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@12273 9e42b895-fcda-4063-8a3b-11be15eb1bbd
---
.../src/edu/kit/ipd/descartes/adaptation/TacticsHistory.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/edu.kit.ipd.descartes.adaptation/src/edu/kit/ipd/descartes/adaptation/TacticsHistory.java b/edu.kit.ipd.descartes.adaptation/src/edu/kit/ipd/descartes/adaptation/TacticsHistory.java
index f3504788..ce525203 100644
--- a/edu.kit.ipd.descartes.adaptation/src/edu/kit/ipd/descartes/adaptation/TacticsHistory.java
+++ b/edu.kit.ipd.descartes.adaptation/src/edu/kit/ipd/descartes/adaptation/TacticsHistory.java
@@ -69,7 +69,7 @@ public class TacticsHistory {
for (int i = 0; i < wTactic.size(); i++) {
out.print(String
- .format("Applied tactic %1$d: %2$30s. Result ID: %3$20s. Successful: %4$5s.%n",
+ .format("Applied tactic %1$3d: %2$30s. Result ID: %3$20s. Successful: %4$5s.%n",
i + 1, wTactic.get(i).getUsedTactic().getName(),
result.get(i), tacticWasSuccessful.get(i)));
}
--
GitLab