mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
c8f38d7d9b
This commit fixes a bug that led to put in a `TupleTreePath` an object instead of its key.