Souffle 2.2 profiling on synthesized code doesn't compile

[dbueno]

I am running souffle 2.2 under macos. The attached file cannot be compiled and profiled at the same time. I used the command: souffle -c -p s.prof ../test.dl If I manually add the following #include line to the synthesized file, then compiling works.

#include "souffle/profile/Logger.h"

test.dl.txt

[adamjseitz]

I believe this was fixed by #2186, and should no longer occur if you update to 2.3.

[b-scholz]

Can we close this issue?