From 86b784494cabd7ac8db1d02700a0d7be9ebd5351 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Sat, 5 Sep 2020 19:59:17 +0200
Subject: address MartinNowack's remaining feedback

---
 runtime/klee-eh-cxx/klee_eh_cxx.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'runtime/klee-eh-cxx')

diff --git a/runtime/klee-eh-cxx/klee_eh_cxx.cpp b/runtime/klee-eh-cxx/klee_eh_cxx.cpp
index 5dec6050..9d86bef4 100644
--- a/runtime/klee-eh-cxx/klee_eh_cxx.cpp
+++ b/runtime/klee-eh-cxx/klee_eh_cxx.cpp
@@ -1,3 +1,12 @@
+//===-- klee_eh_cxx.cpp----------------------------------------------------===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include <cassert>
 #include <cstdint>
 #include <cstdio>
-- 
cgit 1.4.1