Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
# Description Trivial fix of a gcc warning ## Type of change - [x] Bug fix - [ ] New feature - [ ] Documentation update - [ ] Test update ## Checklist for the reviewer This checklist should be used as a help for the reviewer. - [ ] Is the change limited to one issue? - [ ] Does this PR close the issue? - [ ] Is the code easy to read and understand? - [ ] Do all new feature have an accompanying new test? - [ ] Has the documentation been updated as necessary?
- Loading branch information