RTL/VCG inconsistency (the check_match.7758 case)

[Diego Novillo]

On 10/24/07, Sunzir Deepur <sunzird@gmail.com> wrote:

> Any idea on why this inconsistency happen and how to solve it
> (probably the VCG dumper should somehow use "check_match.7758" as the base
> of the function name and not "check_match") ?

Feel free to offer patches to fix this inconsistency.  The VCG dumper
is not heavily used, so you won't find many folks interested in it.