Update copyright years [ci skip]

LeventErkok · Jan 2, 2018 · 56dd8c2 · 56dd8c2
1 parent 37e3021
commit 56dd8c2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/COPYRIGHT b/COPYRIGHT
@@ -1,4 +1,4 @@
-Copyright (c) 2010-2017, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2010-2018, Levent Erkok (erkokl@gmail.com)
 All rights reserved.
 
 The sbv library is distributed with the BSD3 license. See the LICENSE file

diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 SBV: SMT Based Verification in Haskell
 
-Copyright (c) 2010-2017, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2010-2018, Levent Erkok (erkokl@gmail.com)
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

diff --git a/sbv.cabal b/sbv.cabal
@@ -7,7 +7,7 @@ Description:   Express properties about Haskell programs and automatically prove
                .
                For details, please see: <http://leventerkok.github.com/sbv/>
 
-Copyright:     Levent Erkok, 2010-2017
+Copyright:     Levent Erkok, 2010-2018
 License:       BSD3
 License-file:  LICENSE
 Stability:     Experimental