| 922 | // |
| 923 | |
| 924 | void CPR_bugcheck(const TEXT* string) |
| 925 | { |
| 926 | fprintf(stderr, "*** INTERNAL BUGCHECK: %s ***\n", string); |
| 927 | MET_fini(0); |
| 928 | CPR_abort(); |
| 929 | } |
| 930 | |
| 931 | |
| 932 | //____________________________________________________________ |
no test coverage detected