diff options
Diffstat (limited to '055shape_shifting_container.cc')
-rw-r--r-- | 055shape_shifting_container.cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/055shape_shifting_container.cc b/055shape_shifting_container.cc index e56b9020..32032456 100644 --- a/055shape_shifting_container.cc +++ b/055shape_shifting_container.cc @@ -2,12 +2,6 @@ //: pre-requisite: extend our notion of containers to not necessarily be //: atomic types -:(before "End is_mu_container(type) Special-cases") -if (!type->atom) - return is_mu_container(get_base_type(type)); -:(before "End is_mu_exclusive_container(type) Special-cases") -if (!type->atom) - return is_mu_exclusive_container(get_base_type(type)); :(after "Update GET base_type in Check") base_type = get_base_type(base_type); :(after "Update GET base_type in Run") |