From dc610f616940823e9cd8511cd10ca05721b53caf Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Fri, 11 May 2018 13:12:37 +0100
Subject: Update clang-format standard for KLEE codebase to C++11

---
 .clang-format | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.clang-format')

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
 ...
-- 
cgit 1.4.1