From a8cdc4b241a2835c59c784d7577bb7ca4942c784 Mon Sep 17 00:00:00 2001
From: Jonny007-MKD <1-23-4-5@web.de>
Date: Thu, 21 Nov 2013 21:34:37 +0100
Subject: [PATCH] small fix for padding

---
 Hazard/Hazard/Wertetabelle.cpp | 4 +---
 Hazard/res/input.txt           | 2 +-
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/Hazard/Hazard/Wertetabelle.cpp b/Hazard/Hazard/Wertetabelle.cpp
index f7edf1a..e5bbeb7 100644
--- a/Hazard/Hazard/Wertetabelle.cpp
+++ b/Hazard/Hazard/Wertetabelle.cpp
@@ -35,15 +35,13 @@ void Wertetabelle::Print()
 string Wertetabelle::makeHeader()
 {
 	bool setPad = padding.size() == 0;
-	if (setPad)
-		padding.resize(dimension);
 
 	string row2 = "|";
 	for (vector<string>::iterator v = variables->begin(); v < variables->end(); v++)
 	{
 		row2 += " " + *v;
 		if (setPad)
-			padding.push_back(((*v).size()-1) / 2.0f);
+			padding.push_back((v->size()-1) / 2.0f);
 	}
 	
 	row2 += " | y |";
diff --git a/Hazard/res/input.txt b/Hazard/res/input.txt
index d03ea75..62f3371 100644
--- a/Hazard/res/input.txt
+++ b/Hazard/res/input.txt
@@ -1,4 +1,4 @@
-Variables: a, b, c, d
+Variables: a, bar, char, d
 Terms:
 "0010">1
 7>1