===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- OpenXM/src/kan96xx/Doc/hol.sm1	2000/06/12 08:03:56	1.7
+++ OpenXM/src/kan96xx/Doc/hol.sm1	2000/08/01 05:53:18	1.8
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.6 2000/06/09 08:02:01 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.7 2000/06/12 08:03:56 takayama Exp $
 %% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8
 %% rank, rrank, characteristic
 %% This file is error clean.
@@ -1693,6 +1693,8 @@ message-quiet
     jjgg 0 get { [ (toe_) 3 -1 roll ] gbext } map
     /jjgg set
 
+    gb.verbose { (Comparing) message iigg message (and) message jjgg message }
+    {  } ifelse
     gb.verbose { ( ii < jj ?) messagen } {  } ifelse
     iigg length /n set
     0 1 n 1 sub {