===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/global.c,v
retrieving revision 1.34
retrieving revision 1.35
diff -u -p -r1.34 -r1.35
--- OpenXM/src/kan96xx/Kan/global.c	2005/06/15 02:22:50	1.34
+++ OpenXM/src/kan96xx/Kan/global.c	2006/12/21 05:29:49	1.35
@@ -1,4 +1,4 @@
-/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.33 2005/06/09 04:47:16 takayama Exp $ */
+/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.34 2005/06/15 02:22:50 takayama Exp $ */
 #include <stdio.h>
 #include <setjmp.h>
 #include "datatype.h"
@@ -111,6 +111,7 @@ int TraceLift = 0;
 struct ring *TraceLift_ringmod = NULL;
 int DoCancel = 0;
 int QuoteMode = 0;
+int UseDsmall = 0;
 
 /* global variables for stackmachine.c  */
 int VerboseStack = 1;     /* 0 is quiet, 1 is standard, 2 ... */