| 40 | */ |
| 41 | |
| 42 | void raiseInternalError(string errorMsg) { |
| 43 | |
| 44 | print(string("") |
| 45 | + "\n\n" |
| 46 | + "A fatal internal QuEST error occurred. " |
| 47 | + errorMsg + " " |
| 48 | + "Please report this to the QuEST developers. QuEST will now exit..." |
| 49 | + "\n" |
| 50 | ); |
| 51 | |
| 52 | exit(EXIT_FAILURE); |
| 53 | } |
| 54 | |
| 55 | |
| 56 |
no test coverage detected