diff options
Diffstat (limited to '059generic_recipe.cc')
| -rw-r--r-- | 059generic_recipe.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/059generic_recipe.cc b/059generic_recipe.cc index d7f2bbff..0f5d85a1 100644 --- a/059generic_recipe.cc +++ b/059generic_recipe.cc @@ -114,6 +114,8 @@ recipe_ordinal new_variant(recipe_ordinal exemplar, const instruction& inst) { recipe_ordinal result = Recipe_ordinal[new_name] = Next_recipe_ordinal++; // make a copy assert(Recipe.find(exemplar) != Recipe.end()); + assert(Recipe.find(result) == Recipe.end()); + recently_added_recipes.push_back(result); Recipe[result] = Recipe[exemplar]; recipe& new_recipe = Recipe[result]; // update its name |