diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-01 20:07:33 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-01 20:07:33 -0800 |
| commit | adbbfb1bdda9e2e687f43180240ea428e4c8eb13 (patch) | |
| tree | c7f2f11b7be83aa6fb2afba84462fd8590df084e | |
| parent | 49c274f839e8768d50f6aca42c429081794182c6 (diff) | |
| download | mu-adbbfb1bdda9e2e687f43180240ea428e4c8eb13.tar.gz | |
2343
Clean up specialized recipes more thoroughly.
| -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 |