Menu

#1306 Plugins: Identical condition

Undefined
fixed
nobody
None
Bug_Report
2022-09-08
2022-09-08
No

/src/plugins/contrib/wxSmithSTC/stc/scintilla/src/LexMMIXAL.cxx
line 35
Code:
if (ch == '+' || ch == '-' || ch == '|' || ch == '^' ||
ch == '*' || ch == '/' || ch == '/' || // <-- identical

Discussion

  • Miguel Gimenez

    Miguel Gimenez - 2022-09-08
    • status: open --> fixed
     
  • Miguel Gimenez

    Miguel Gimenez - 2022-09-08

    Fixed in [r12883], thank you.

     

    Related

    Commit: [r12883]


Log in to post a comment.

MongoDB Logo MongoDB