Florian Hahn f759d512c8
[VPlan] Include name when printing after 93a9d2de8f4f.
The name is included when printing in DOT mode. Also print it in non-DOT
mode after 93a9d2de8f4f.

This will become more important to distinguish different plans once
VPlans are gradually refined.
2021-03-23 09:50:14 +00:00
..
2020-11-06 11:12:10 +01:00
2019-04-25 04:49:48 +00:00