Skip to content

Commit

Permalink
update year
Browse files Browse the repository at this point in the history
  • Loading branch information
Daniel Kroening committed Sep 5, 2016
1 parent 18055ac commit fc4c5a2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LICENSE
Original file line number Diff line number Diff line change
@@ -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

Expand Down

0 comments on commit fc4c5a2

Please sign in to comment.