search

seL4 / util_libs

Other
53 stars 83 forks source link

trivial: fix style complaints #166

Closed axel-h closed 12 months ago

axel-h commented 1 year ago

Follow-up from https://github.com/seL4/util_libs/pull/165, now that this file has been touched. the style checker also has a look and I get some failures in CI runs. Fix the the style issues.