#1713: Avoid build-time warning

Reporter: Erik Schnetter Status: resolved Milestone: Version: development version Type: bug Priority: minor Component: EinsteinToolkit thorn

Changes (by Roland Haas):

status: resolved (was open)

Comment (by Roland Haas):

Thank you @{557058:56049c54-f8c2-4b6c-9b88-ab697c967495}

-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/1713/avoid-build-time-w...