mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
741d55279b
The copy of a TupleTree is potentially very expensive, so it was disabled until now and only allowed via the explict method clone(). We have now decided to make TupleTree copiable. This commit adds a copy-constructor and a copy-assignment, killing the clone() method that was already unused and is now effectively useless.