diff -r 56ebe2a31b5b -r 6d1cdb7da363 stage3/fill_candidate_datatypes.cc --- a/stage3/fill_candidate_datatypes.cc Mon Apr 03 22:18:22 2017 +0100 +++ b/stage3/fill_candidate_datatypes.cc Tue Apr 04 10:41:11 2017 +0100 @@ -1199,8 +1199,6 @@ } if (flag_all_elem_ok) { add_datatype_to_candidate_list(symbol, symbol->parent->candidate_datatypes[i]); - fprintf(stderr, "ADDED DATAYPE type--->\n"); - debug_c::print(symbol); } } return NULL;