===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/tower.sm1,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/kan96xx/Doc/tower.sm1	2004/08/31 04:45:42	1.4
+++ OpenXM/src/kan96xx/Doc/tower.sm1	2004/08/31 05:30:20	1.5
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/kan96xx/Doc/tower.sm1,v 1.3 2004/05/13 05:33:10 takayama Exp $
+%% $OpenXM: OpenXM/src/kan96xx/Doc/tower.sm1,v 1.4 2004/08/31 04:45:42 takayama Exp $
 %% It is used to check the mmLarger_tower,  1997, 10/26 at Heidelberg.
 %% It is used to check the mmLarger_tower,  1997, 10/27 -- 29 at Oberwolfach.
 %% 1997, 11/7   s_ring_of_differential_operators  at Kobe
@@ -349,7 +349,7 @@ tower.verbose
     /univ vars 0 get reverse
           vars 1 get reverse join
     def
-    w-vectors to_int /w-vectors set
+    w-vectors to_int32 /w-vectors set
     [
     0 1 << w-vectors length 1 sub >> 
     {