Searched refs:warning_ptr (Results 1 – 1 of 1) sorted by relevance
46 static void (*warning_ptr) (char *, ...) = (void (*) (char *, ...)) NULL; variable116 if (warning_ptr != (void (*) (char *, ...)) NULL) { in close_file()117 (*warning_ptr)(gettext("Couldn't write to %s"), nse_depinfo_file); in close_file()