tree 7cf57962e0b640d158541f7c16cb07d41da98e7d
parent 8c4a84c5ded7bb19a5a607591b38971ed79b0a11
author Gilles Peskine <Gilles.Peskine@arm.com> 1579704936 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1579705152 +0100

Simpler definition of a custom exception class