equal
deleted
inserted
replaced
540 { for (int i = 0; i < number_of_codes; i++) { |
540 { for (int i = 0; i < number_of_codes; i++) { |
541 if (is_defined(i)) { |
541 if (is_defined(i)) { |
542 Code code = cast(i); |
542 Code code = cast(i); |
543 Code java = java_code(code); |
543 Code java = java_code(code); |
544 if (can_trap(code) && !can_trap(java)) |
544 if (can_trap(code) && !can_trap(java)) |
545 fatal(err_msg("%s can trap => %s can trap, too", name(code), |
545 fatal("%s can trap => %s can trap, too", name(code), name(java)); |
546 name(java))); |
|
547 } |
546 } |
548 } |
547 } |
549 } |
548 } |
550 #endif |
549 #endif |
551 |
550 |