duplicate-entry-in-symbols-control-file

The symbols control file contains a duplicate entry.

Severity: error
Experimental: false

See also