tree 3e3f536eb98d7e167ef6c74598b8fef2e81fb775
parent 137aa573ca1862303da21c10528b682b280e75e2
author Florian Hahn <flo@fhahn.com> 1747126309 +0100
committer Florian Hahn <flo@fhahn.com> 1747126322 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHUEABYKAB0WIQTv3rz3sglVUFOr3mDIsNcJD5En5gUCaCMIMwAKCRDIsNcJD5En
 5kqaAQC+y7fJZ03jyKEOJkZparX0GBBkl9tSGeqToVsWgQwhfgD/aPEoC6YwcYau
 RhLRXAjqD+3BYBCdzoz//rV95fDoWAs=
 =Kph8
 -----END PGP SIGNATURE-----

[VPlan] Print use and definition in verifier on violation.

Improves the error message when a use comes before the def by including
the use and def, when print utilities are available.