mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
5190f8f6c8
This fixes an old issue: the headers were moved out out of assembly a while back while cpp files had been forgotten.