[creduce-dev] potential typo related to commit 8cb6d20

[Julien Cretin <creduce@ia0.eu>]

Hi creduce-dev,

In the commit 8cb6d20 of tuesday, a duplicate index for rm-toks is corrected, but two lines below a similar duplication happens. Since I don't know the code, I can't tell if this is also a typo. However, it looks suspicious, so I prefer to notify creduce-dev just in case.

Here is a patch similar to commit 8cb6d20:

diff --git a/creduce/creduce.in b/creduce/creduce.in

index d9d0c7b..e90c7f6 100644

--- a/creduce/creduce.in

+++ b/creduce/creduce.in

@@ -613,7 +613,7 @@ if ($SLLOOWW) {

        { "name" => "pass_clex", "arg" => "rm-toks-28",             "pri" => 9011, },

        { "name" => "pass_clex", "arg" => "rm-toks-29",             "pri" => 9012, },

        { "name" => "pass_clex", "arg" => "rm-toks-30",             "pri" => 9013, },

-       { "name" => "pass_clex", "arg" => "rm-toks-30",             "pri" => 9014, },

+       { "name" => "pass_clex", "arg" => "rm-toks-31",             "pri" => 9014, },

        { "name" => "pass_clex", "arg" => "rm-toks-32",             "pri" => 9015, },

     );

 }

Best,

Julien