src/base/input/cl_read_err_eof.cc

   1 // read_number_eof().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_number_io.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_io.h"
  13 #include "cl_abort.h"
  14
  15 void read_number_eof (void)
  16 {
  17         fprint(cl_stderr, "read_number: end of stream encountered\n");
  18         cl_abort();
  19 }