===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/global.c,v
retrieving revision 1.1.1.1
retrieving revision 1.9
diff -u -p -r1.1.1.1 -r1.9
--- OpenXM/src/kan96xx/Kan/global.c	1999/10/08 02:12:01	1.1.1.1
+++ OpenXM/src/kan96xx/Kan/global.c	2000/02/24 00:27:12	1.9
@@ -1,4 +1,4 @@
-/* global.c */
+/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.8 2000/02/02 09:07:59 takayama Exp $ */
 #include <stdio.h>
 #include <setjmp.h>
 #include "datatype.h"
@@ -86,6 +86,7 @@ int Criterion2B = 0;
 int Criterion2M = 0;
 int Criterion2F = 0;
 int Statistics = 0;
+int AutoReduce = 0;
 int CheckHomogenization = 1;
 int ErrorMessageMode = 0;
 int WarningMessageMode = 0;
@@ -124,8 +125,11 @@ int Lookup[TYPES][TYPES];
 int Quiet = 0;
 int TimerOn = 0;
 
-char *VersionString = "2.990914";
+char *VersionString = "3.000222";
 
+char *LeftBracket = NULL;
+char *RightBracket = NULL;
+
 int AvoidTheSameRing = 1;
 int DebugCMO = 0;  /* plugin/cmo.c */
 int OXprintMessage = 1; /* referred only from ox_sm1  plugin/ox.hh */
@@ -137,6 +141,7 @@ stackmachine_init() {
   int i,j;
   OxSystemVersion = VersionString;
   Fstack = stdout;  /* initialize output stream */
+  LeftBracket = "["; RightBracket = "]";
   /* initialize null object */
   NullObject.tag = 0;
   NullObject.lc.op = NullObject.rc.op = (struct object *)NULL;