fix missing header in synthesized profiled program

souffle-lang · Feb 8, 2022 · 1b51ae6 · 1b51ae6
1 parent d70cf1e
commit 1b51ae6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/synthesiser/Synthesiser.cpp b/src/synthesiser/Synthesiser.cpp
@@ -2424,6 +2424,7 @@ void Synthesiser::generateCode(std::ostream& sos, const std::string& id, bool& w
     }
 
     if (Global::config().has("profile") || Global::config().has("live-profile")) {
+        os << "#include \"souffle/profile/Logger.h\"";
         os << "#include \"souffle/profile/ProfileEvent.h\"";
     }