tree 24cbd517dd5e8c2bf3683bd9b4dedc38555e3aa6
parent 18f52d37527d3d3bd10e8cea4b9e8778aa074044
author Gilles Peskine <Gilles.Peskine@arm.com> 1612903202 +0100
committer TRodziewicz <rodziewicz@gmail.com> 1614247336 +0100

Fix an example that didn't follow the given pattern

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
Signed-off-by: TRodziewicz <rodziewicz@gmail.com>