Why is this an issue?

A design element should not have duplicated attributes.

How to fix it

Code examples

Noncompliant code example

module fly;
  (* foo = 1, foo = 2 *)
  int i;
endmodule

Compliant solution

module fly;
  (* foo = 1, bar = 2 *)
  int i;
endmodule