From fc4c5a2b3ce2b33b6c1cd83193fdfdc917805f81 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Mon, 5 Sep 2016 17:05:55 +0100
Subject: [PATCH] update year

---
 LICENSE | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LICENSE b/LICENSE
index 9171796610e..50673cf86e5 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-(C) 2001-2011, Daniel Kroening, Edmund Clarke,
+(C) 2001-2016, Daniel Kroening, Edmund Clarke,
 Computer Science Department, University of Oxford
 Computer Science Department, Carnegie Mellon University