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 /utils | |
| 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.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions