#ifndef SPOT_MISC_VERSION_HH # define SPOT_MISC_VERSION_HH namespace spot { /// Return Spot's version. const char* version(); } #endif // SPOT_MISC_VERSION_HH