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::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