diff -r 675ee2eeb3ff -r 7c8709ce6b8f stage3/narrow_candidate_datatypes.cc --- a/stage3/narrow_candidate_datatypes.cc Mon Jan 23 12:50:07 2017 +0000 +++ b/stage3/narrow_candidate_datatypes.cc Tue Jan 24 12:44:44 2017 +0000 @@ -930,6 +930,18 @@ return NULL; } + +void *narrow_candidate_datatypes_c::visit(action_qualifier_c *symbol) { + for(unsigned int i = 0; i < symbol->action_time->candidate_datatypes.size(); i++) { + if (get_datatype_info_c::is_TIME_compatible(symbol->action_time->candidate_datatypes[i])) + symbol->action_time->datatype = symbol->action_time->candidate_datatypes[i]; + } + symbol->action_time->accept(*this); + symbol->action_qualifier->accept(*this); // Not really necessary for now... + return NULL; +} + + /********************************/ /* B 1.7 Configuration elements */ /********************************/