diff options
Diffstat (limited to '053recipe_header.cc')
-rw-r--r-- | 053recipe_header.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/053recipe_header.cc b/053recipe_header.cc index 450a0142..a98b4c54 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -214,9 +214,7 @@ case NEXT_INGREDIENT_WITHOUT_TYPECHECKING: { else { products.resize(2); // pad the first product with sufficient zeros to match its type - int size = size_of(current_instruction().products.at(0)); - for (int i = 0; i < size; ++i) - products.at(0).push_back(0); + products.at(0).resize(size_of(current_instruction().products.at(0))); products.at(1).push_back(0); } break; |