fix check for patch number being 0

coin-or · Jan 12, 2022 · 62f31ee · 62f31ee
1 parent 801c780
commit 62f31ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Report.cpp b/src/Report.cpp
@@ -311,7 +311,7 @@ void Report::outputSolverHeader()
 
     env->output->outputInfo("");
 
-    if(SHOT_VERSION_PATCH != 0)
+    if(SHOT_VERSION_PATCH[0] != '0')
     {
         env->output->outputInfo(fmt::format(" Version: {}.{}.{}. Git hash: {}. Released: {}.", SHOT_VERSION_MAJOR,
             SHOT_VERSION_MINOR, SHOT_VERSION_PATCH, SHOT_GITHASH, __DATE__));