update year

Daniel Kroening · Daniel Kroening · commit fc4c5a2b3ce2 · 2016-09-05T17:05:55.000+01:00
diff --git 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
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(C) 2001-2011, Daniel Kroening, Edmund Clarke,`
	`1`	`+(C) 2001-2016, Daniel Kroening, Edmund Clarke,`
`2`	`2`	`Computer Science Department, University of Oxford`
`3`	`3`	`Computer Science Department, Carnegie Mellon University`
`4`	`4`