* src/LR0.c (allocate_itemsets): kernel_size contains ints, not

size_ts.
Reported by Hans Aberg.

ChangeLog

@@ -1,3 +1,9 @@
+2001-11-26  Akim Demaille  <[email protected]>
+
+	* src/LR0.c (allocate_itemsets): kernel_size contains ints, not
+	size_ts.
+	Reported by Hans Aberg.
+
 2001-11-26  Akim Demaille  <[email protected]>
 
 	* src/complain.c, src/complain.h (error): Remove, provided by

src/LR0.c

@@ -94,7 +94,7 @@ allocate_itemsets (void)
     }
 
   shift_symbol = symbol_count;
-  kernel_size = XCALLOC (size_t, nsyms);
+  kernel_size = XCALLOC (int, nsyms);
 }