commit 5670677cb697aa79fef15978dd880ec2b40dbab3
Author: Akim Demaille <[email protected]>
Date:   Tue Jan 29 06:36:41 2019 +0100

    lr(0): remove useless conditional
    
    * src/lr0.c (new_itemsets): There's no harm in setting a Boolean
    several times.

diff --git a/src/lr0.c b/src/lr0.c
index 9d8d3d55..fa982b5c 100644
--- a/src/lr0.c
+++ b/src/lr0.c
@@ -185,9 +185,7 @@ new_itemsets (state *s)
     if (item_number_is_symbol_number (ritem[itemset[i]]))
       {
         symbol_number sym = item_number_as_symbol_number (ritem[itemset[i]]);
-        if (!kernel_size[sym])
-          bitset_set (shift_symbol, sym);
-
+        bitset_set (shift_symbol, sym);
         kernel_base[sym][kernel_size[sym]] = itemset[i] + 1;
         kernel_size[sym]++;
       }


Reply via email to