Commit 726861fe authored 6 years ago by kilian.weishaupt_at_iws.uni-stuttgart.de

[compatibility] Use <memory> instead of <tr1/memory>

* <tr1/memory> is not available on Mac

parent 2dda34fc

No related branches found

No related tags found

Checking pipeline status