diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-04-14 16:42:24 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:02:03 +0100 |
| commit | a1665020e9ab501eedc7b5b77f9f0fe0ccc69317 (patch) | |
| tree | 81f7073ad3cf82f69f1d58965019fe1716c39874 | |
| parent | caeafa442bb89994e550414670375878f4e50f79 (diff) | |
| download | klee-a1665020e9ab501eedc7b5b77f9f0fe0ccc69317.tar.gz | |
.clang-format: c++17
From the `clang-format` documentation: - "`Cpp11` is a deprecated alias for `Latest`" - `Latest`: "Parse and format using the latest supported language version."
| -rw-r--r-- | .clang-format | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.clang-format b/.clang-format index b28d3656..69f05826 100644 --- a/.clang-format +++ b/.clang-format @@ -1,4 +1,4 @@ --- -BasedOnStyle: LLVM -Standard: Cpp11 +BasedOnStyle: LLVM +Standard: c++17 ... |