Merge pull request #2226 from langston-barrett/lb/fix-profiler

Fix segfault in ~ProfileEventSingleton
souffle-lang · Apr 2, 2022 · c380ca2 · c380ca2
2 parents 4cdd345 + 42fe95d
commit c380ca2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/include/souffle/profile/ProfileEvent.h b/src/include/souffle/profile/ProfileEvent.h
@@ -51,7 +51,7 @@ class ProfileEventSingleton {
 public:
     ~ProfileEventSingleton() {
         stopTimer();
-        ProfileEventSingleton::instance().dump();
+        dump();
     }
 
     /** get instance */