1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp
index eb313c3bd..65b341a12 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -66,7 +66,9 @@ int main(int argc, char* argv[]) {
     } else {
       *opts.getErr() << "(error \"" << e << "\")" << endl;
     }
-    if(opts.getStatistics() && pExecutor != NULL) {
+    if (opts.getStatistics() && pExecutor != nullptr)
+    {
+      totalTime.reset();
       pExecutor->flushStatistics(*opts.getErr());
     }
   }