From 1aef38cd48413b8c1fa94ea42256d313cf6e58d8 Mon Sep 17 00:00:00 2001
From: Marko Dimjašević <marko@cs.utah.edu>
Date: Tue, 23 Feb 2016 23:09:28 -0700
Subject: Added missing copyright headers per klee/issue #301

---
 tools/gen-random-bout/gen-random-bout.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'tools/gen-random-bout')

diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp
index 46f662dd..fca24008 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/gen-random-bout/gen-random-bout.cpp
@@ -1,3 +1,12 @@
+//===-- gen-random-bout.cpp -------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include <assert.h>
 #include <stdio.h>
 #include <stdlib.h>
-- 
cgit 1.4.1