diff options
Diffstat (limited to '059shape_shifting_recipe.cc')
| -rw-r--r-- | 059shape_shifting_recipe.cc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/059shape_shifting_recipe.cc b/059shape_shifting_recipe.cc index 9de67a30..55f5f2b8 100644 --- a/059shape_shifting_recipe.cc +++ b/059shape_shifting_recipe.cc @@ -335,10 +335,6 @@ void accumulate_type_ingredients(const type_tree* exemplar_type, const type_tree } if (is_type_ingredient_name(exemplar_type->name)) { assert(!refinement_type->name.empty()); - if (exemplar_type->right) { - raise_error << "type_ingredients in non-last position not currently supported\n" << end(); - return; - } if (!contains_key(mappings, exemplar_type->name)) { trace(9993, "transform") << "adding mapping from " << exemplar_type->name << " to " << to_string(refinement_type) << end(); put(mappings, exemplar_type->name, new type_tree(*refinement_type)); |