rAKA/src/common/manual_restart.cc

bugfixes/macos-clang…da7634292119a0edbafa9ad…