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

---
 lib/Solver/MetaSMTBuilder.h | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'lib/Solver/MetaSMTBuilder.h')

diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index ffd3cfe9..9e1f9a62 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -1,4 +1,14 @@
- /*
+//===-- MetaSMTBuilder.h ----------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+
+/*
  * MetaSMTBuilder.h
  *
  *  Created on: 8 Aug 2012
-- 
cgit 1.4.1