tree 444033fba4b990399f75701a67cc0572a15f82fa
parent bdd779ad9348daef91be2eaaf1eb5af7b97a42ea
author Marc Kupietz <kupietz@ids-mannheim.de> 1722888690 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1722888690 +0200

Fix build on MacOS

Change-Id: I5fa3c9675aab518f3b4c691c83b7d9defe8228ac