tools/clean-sat.c

   1 /* clean-sat.c
   2  */
   3
   4 #include <stdio.h>
   5
   6 int
   7 main(int argc, char **argv)
   8 {
   9     int c;
  10
  11     if( argc > 1 ) {
  12         fprintf(stderr, "no arguments, please\n");
  13         return 1;
  14     }
  15
  16     while( (c=getchar()) == '\n' )
  17         ;
  18     while( c != EOF ) {
  19         putchar(c);
  20         c = getchar();
  21     }
  22
  23     return 0;
  24 }
  25