Searched refs:filenameString (Results 1 – 1 of 1) sorted by relevance
45 const char* filenameString = to_cstring(filename); in reportException() local48 "%s:%i: %s\n", filenameString, linenum, exceptionString); in reportException()