mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
8cec15cebc
Before this commit the port number was incorrectly increased when there were no arguments in a function type, causing edges to be routed in a less accurate way. This commit fixes the problem.