diff options
Diffstat (limited to '050scenario.cc')
| -rw-r--r-- | 050scenario.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/050scenario.cc b/050scenario.cc index 7a2ea7a8..3c033c94 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -388,9 +388,7 @@ void check_memory(const string& s) { void check_type(const string& lhs, istream& in) { reagent x(lhs); - if (x.type->name == "array" - && x.type->right && x.type->right->name == "character" - && !x.type->right->right) { + if (is_mu_array(x.type) && is_mu_character(x.type->right)) { x.set_value(to_integer(x.name)); skip_whitespace_and_comments(in); string _assign = next_word(in); |