diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-11 13:12:37 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-12 10:08:20 +0100 |
| commit | dc610f616940823e9cd8511cd10ca05721b53caf (patch) | |
| tree | 154cd115ab4f7803b76d6e1293b3ed58920f5291 /.clang-format | |
| parent | 495b3e52eee463c7eea618ca55d5ff12c288e87e (diff) | |
| download | klee-dc610f616940823e9cd8511cd10ca05721b53caf.tar.gz | |
Update clang-format standard for KLEE codebase to C++11
Diffstat (limited to '.clang-format')
| -rw-r--r-- | .clang-format | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.clang-format b/.clang-format index 9ad10d29..b28d3656 100644 --- a/.clang-format +++ b/.clang-format @@ -1,4 +1,4 @@ --- BasedOnStyle: LLVM -Standard: Cpp03 +Standard: Cpp11 ... |