===================================================================
RCS file: /home/cvs/OpenXM/src/tigers/tigers.patch,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- OpenXM/src/tigers/tigers.patch	2020/11/01 10:28:22	1.5
+++ OpenXM/src/tigers/tigers.patch	2021/11/16 07:09:46	1.6
@@ -495,3 +495,16 @@ diff -urN TiGERS_0.9.orig/utils.c TiGERS_0.9/utils.c
  
  int eatwhite(FILE *is){
   int c;
+
+--- TiGERS_0.9/tigers.c.orig	2021-11-16 11:59:40.619709584 +0900
++++ TiGERS_0.9/tigers.c	2021-11-16 12:00:58.800452127 +0900
+@@ -17,7 +17,7 @@
+ /* 
+ ** Output initial ideals and numbers of facets at each stage.
+ */
+-FILE *outfile;
++extern FILE *outfile;
+ int print_init=TRUE;
+ int print_tree=TRUE;
+ 
+