C++ catch parameters should be passed by const reference.
This PR was not triggered by an immediate problem but should be fixed since it usually causes problems (e.g., boost program options usually segfaults when catched wrong). Found via flint++ checking.
C++ catch parameters should be passed by const reference.
This PR was not triggered by an immediate problem but should be fixed since it usually causes problems (e.g., boost program options usually segfaults when catched wrong). Found via flint++ checking.
References: