1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/options_handlers.h b/src/main/options_handlers.h
index f14a67d5f..4bb4841fe 100644
--- a/src/main/options_handlers.h
+++ b/src/main/options_handlers.h
@@ -27,8 +27,12 @@ inline void showConfiguration(std::string option, SmtEngine* smt) {
   printf("\n");
   printf("version    : %s\n", Configuration::getVersionString().c_str());
   if(Configuration::isGitBuild()) {
+    const char* branchName = Configuration::getGitBranchName();
+    if(*branchName == '\0') {
+      branchName = "-";
+    }
     printf("scm        : git [%s %s%s]\n",
-           Configuration::getGitBranchName(),
+           branchName,
            std::string(Configuration::getGitCommit()).substr(0, 8).c_str(),
            Configuration::hasGitModifications() ?
              " (with modifications)" : "");