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

size_ts.
Reported by Hans Aberg.

diff --git a/ChangeLog b/ChangeLog
index f05f7859268b78ab68af8e8087beb827acdf145d..546eead1f7306847e0519c96349204ad67df93dd 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-11-26  Akim Demaille  <akim@epita.fr>
+
+       * src/LR0.c (allocate_itemsets): kernel_size contains ints, not
+       size_ts.
+       Reported by Hans Aberg.
+

 2001-11-26  Akim Demaille  <akim@epita.fr>
 
        * src/complain.c, src/complain.h (error): Remove, provided by
 2001-11-26  Akim Demaille  <akim@epita.fr>
 
        * src/complain.c, src/complain.h (error): Remove, provided by

diff --git a/src/LR0.c b/src/LR0.c
index d7edc283e8c1e7762c7508219eb0e5cec14bd42d..06ee51f6d3940e8cae26c63132a902306d60ecd2 100644 (file)
--- a/src/LR0.c
+++ b/src/LR0.c
@@ -94,7 +94,7 @@ allocate_itemsets (void)
     }
 
   shift_symbol = symbol_count;
     }
 
   shift_symbol = symbol_count;

-  kernel_size = XCALLOC (size_t, nsyms);
+  kernel_size = XCALLOC (int, nsyms);

 }
 
 
 }