===================================================================
RCS file: /home/cvs/OpenXM/src/tigers/tigers.patch,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/tigers/tigers.patch	2000/01/07 22:53:42	1.1
+++ OpenXM/src/tigers/tigers.patch	2000/03/23 13:20:54	1.2
@@ -257,7 +257,7 @@ diff -urN TiGERS_0.9.orig/call.c TiGERS_0.9/call.c
 +}
 +
 +
-+main(int argc, char *argv[]) {
++main(int argc, char *argv[]) { infile=stdin; outfile=stdout;
 +  if (argc > 1) {
 +    tiger_executeString_M(argv[1]);
 +  }else{