diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:29:07 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:33:17 +0000 |
| commit | cd77831e0a02dd138459a26c108d9d4c402b1c2a (patch) | |
| tree | 5828147f2d92c5c1bedf6df4a649b590645af983 | |
| parent | 48af356e766a73fe33cabbabc7c5edb263fb7d89 (diff) | |
| download | klee-cd77831e0a02dd138459a26c108d9d4c402b1c2a.tar.gz | |
Set C++ standard in Clang format settings file to C++03. Otherwise
template braces get reformatted the C++11 way and that breaks compilation.
| -rw-r--r-- | .clang-format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.clang-format b/.clang-format index 4f679309..dac1eef4 100644 --- a/.clang-format +++ b/.clang-format @@ -1,4 +1,5 @@ --- Language: Cpp BasedOnStyle: LLVM +Standard: Cpp03 ... |