emit missing '\n' in cpp includes

Andrew Kent · web-flow · commit fcd024be5d5d · 2022-03-09T16:51:47.000-08:00
Without the added newlines this generates C++
which does not always compile, e.g.
```
compiler error: cannot compile source file "./soufflepxyz.cpp"
./soufflepxyz.cpp:4:36: warning: extra tokens at end of #include directive [-Wextra-tokens]
#include "souffle/profile/Logger.h"#include "souffle/profile/ProfileEvent.h"
                                   ^
```
diff --git a/src/synthesiser/Synthesiser.cpp b/src/synthesiser/Synthesiser.cpp
@@ -2424,8 +2424,8 @@ 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\"";
+        os << "#include \"souffle/profile/Logger.h\"\n";
+        os << "#include \"souffle/profile/ProfileEvent.h\"\n";
     }
 
     os << "\n";

Original file line number	Diff line number	Diff line change
`@@ -2424,8 +2424,8 @@ void Synthesiser::generateCode(std::ostream& sos, const std::string& id, bool& w`
`2424`	`2424`	`}`
`2425`	`2425`
`2426`	`2426`	`if (Global::config().has("profile") \|\| Global::config().has("live-profile")) {`
`2427`		`- os << "#include \"souffle/profile/Logger.h\"";`
`2428`		`- os << "#include \"souffle/profile/ProfileEvent.h\"";`
	`2427`	`+ os << "#include \"souffle/profile/Logger.h\"\n";`
	`2428`	`+ os << "#include \"souffle/profile/ProfileEvent.h\"\n";`
`2429`	`2429`	`}`
`2430`	`2430`
`2431`	`2431`	`os << "\n";`