diff options
author | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2020-01-03 13:47:43 +0100 |
---|---|---|
committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2020-01-03 13:47:43 +0100 |
commit | bcbaad6d874d451817457ae0603f953cda3c0c06 (patch) | |
tree | 94d19d7e27512ef065475108105c4cca30f22449 /doc | |
parent | 00de570793b8acdc072c16d533f1740e3e061d94 (diff) |
Bug #1800: Guard against misleading indentation
Diffstat (limited to 'doc')
-rw-r--r-- | doc/snippets/compile_snippet.cpp.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/snippets/compile_snippet.cpp.in b/doc/snippets/compile_snippet.cpp.in index d63f371a3..c11457a3f 100644 --- a/doc/snippets/compile_snippet.cpp.in +++ b/doc/snippets/compile_snippet.cpp.in @@ -15,6 +15,9 @@ using namespace std; int main(int, char**) { cout.precision(3); - ${snippet_source_code} +// intentionally remove indentation of snippet +{ +${snippet_source_code} +} return 0; } |