Line data    Source code

       1             : /* clean-sat.c
       2             :  * Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
       3             :  *
       4             :  * This file is free software; as a special exception the author gives
       5             :  * unlimited permission to copy and/or distribute it, with or without
       6             :  * modifications, as long as this notice is preserved.
       7             :  *
       8             :  * This program is distributed in the hope that it will be useful, but
       9             :  * WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
      10             :  * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
      11             :  */
      12             : 
      13             : #include <stdio.h>
      14             : 
      15             : int
      16           0 : main(int argc, char **argv)
      17             : {
      18             :     int c;
      19             : 
      20             :     (void)argv;
      21             : 
      22           0 :     if( argc > 1 ) {
      23           0 :         fprintf(stderr, "no arguments, please\n");
      24           0 :         return 1;
      25             :     }
      26             : 
      27           0 :     while( (c=getchar()) == '\n' )
      28             :         ;
      29           0 :     while( c != EOF ) {
      30           0 :         putchar(c);
      31           0 :         c = getchar();
      32             :     }
      33             : 
      34           0 :     return 0;
      35             : }