tree 66ce995bb8ed3488736cf2b129f2bdbcacf2a115
parent c425e87af7b639458d253e6db15798adca3bfe76
author Gilles Peskine <Gilles.Peskine@arm.com> 1528117736 +0200
committer itayzafrir <itay.zafrir@arm.com> 1536138803 +0300

Whitespace fixes; removed redundant parentheses

No semantic change.