| 3875 | // |
| 3876 | |
| 3877 | static void printa( int column, const char* string, ...) |
| 3878 | { |
| 3879 | va_list ptr; |
| 3880 | |
| 3881 | va_start(ptr, string); |
| 3882 | align(column); |
| 3883 | vfprintf(gpreGlob.out_file, string, ptr); |
| 3884 | va_end(ptr); |
| 3885 | } |
| 3886 | |
| 3887 | |
| 3888 | //____________________________________________________________ |
no test coverage detected