===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2018/parse/gc_risa.c,v
retrieving revision 1.1
retrieving revision 1.4
diff -u -p -r1.1 -r1.4
--- OpenXM_contrib2/asir2018/parse/gc_risa.c	2018/09/19 05:45:08	1.1
+++ OpenXM_contrib2/asir2018/parse/gc_risa.c	2019/07/25 05:57:56	1.4
@@ -1,4 +1,4 @@
-/* $OpenXM$ */
+/* $OpenXM: OpenXM_contrib2/asir2018/parse/gc_risa.c,v 1.3 2019/03/27 05:34:47 noro Exp $ */
 
 #if defined(VISUAL) || defined(__MINGW32__)
 #include "private/gcconfig.h"
@@ -7,6 +7,8 @@
 #endif
 #endif
 #include "gc.h"
+#include <stdio.h>
+#include <stdlib.h>
 #include <time.h>
 #include <signal.h>
 
@@ -23,8 +25,9 @@ void check_caught_intr()
     int_handler(SIGINT);
   } else if ( caught_intr == 2 ) {
     caught_intr = 0;
+    fprintf(stderr,"entering reset mode...\n");
     ox_usr1_handler(SIGUSR1);
-    }
+  }
 }
 
 void *Risa_GC_malloc(size_t d)
@@ -240,27 +243,26 @@ extern int GC_free_space_numerator;
 
 void Risa_GC_get_adj(int *nm, int *dn) {
   *nm = GC_free_space_numerator;
-  *dn = GC_free_space_divisor;
+  *dn = GC_get_free_space_divisor();
 }
 
 void Risa_GC_set_adj(int nm, int dn) {
   GC_free_space_numerator = nm;
-  GC_free_space_divisor = dn;
+  GC_set_free_space_divisor(dn);
 }
 #else
 void Risa_GC_get_adj(int *nm, int *dn) {
   *nm = 1;
-  *dn = GC_free_space_divisor;
+  *dn = GC_get_free_space_divisor();
 }
 
 void Risa_GC_set_adj(int nm, int dn) {
-  GC_free_space_divisor = dn/nm;
+  GC_set_free_space_divisor(dn/nm);
 }
-
+#endif
 double GC_get_gctime() {
   return 0.0;
 }
-#endif
 
 #if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__)
 #include <signal.h>