Update copyright dates

11 files changed, 11 insertions, 11 deletions

diff --git a/src/ubase/proplist.ml b/src/ubase/proplist.ml
index f75ecf7..2377a7e 100644
--- a/src/ubase/proplist.ml
+++ b/src/ubase/proplist.ml
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/proplist.ml *)
-(* Copyright 1999-2017, Benjamin C. Pierce
+(* Copyright 1999-2018, Benjamin C. Pierce
 
     This program is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
diff --git a/src/ubase/proplist.mli b/src/ubase/proplist.mli
index 585c6e3..992d9e1 100644
--- a/src/ubase/proplist.mli
+++ b/src/ubase/proplist.mli
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/proplist.mli *)
-(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *)
+(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
 
 type 'a key
 type t
diff --git a/src/ubase/rx.ml b/src/ubase/rx.ml
index 290bfb1..0003e43 100644
--- a/src/ubase/rx.ml
+++ b/src/ubase/rx.ml
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/rx.ml *)
-(* Copyright 1999-2017, Benjamin C. Pierce
+(* Copyright 1999-2018, Benjamin C. Pierce
 
     This program is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
diff --git a/src/ubase/rx.mli b/src/ubase/rx.mli
index 8825ee9..7018fd2 100644
--- a/src/ubase/rx.mli
+++ b/src/ubase/rx.mli
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/rx.mli *)
-(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *)
+(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
 
 type t
 
diff --git a/src/ubase/safelist.ml b/src/ubase/safelist.ml
index e6f0b53..678a8b5 100644
--- a/src/ubase/safelist.ml
+++ b/src/ubase/safelist.ml
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/safelist.ml *)
-(* Copyright 1999-2017, Benjamin C. Pierce
+(* Copyright 1999-2018, Benjamin C. Pierce
 
     This program is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
diff --git a/src/ubase/safelist.mli b/src/ubase/safelist.mli
index a771189..21aa94a 100644
--- a/src/ubase/safelist.mli
+++ b/src/ubase/safelist.mli
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/safelist.mli *)
-(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *)
+(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
 
 (* All functions here are tail recursive and will work for arbitrary
    sized lists (unlike some of the standard ones).  The intention is that
diff --git a/src/ubase/trace.ml b/src/ubase/trace.ml
index 36f2dc1..08caddf 100644
--- a/src/ubase/trace.ml
+++ b/src/ubase/trace.ml
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/trace.ml *)
-(* Copyright 1999-2017, Benjamin C. Pierce
+(* Copyright 1999-2018, Benjamin C. Pierce
 
     This program is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
diff --git a/src/ubase/trace.mli b/src/ubase/trace.mli
index 4b83b2e..d9bb10d 100644
--- a/src/ubase/trace.mli
+++ b/src/ubase/trace.mli
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/trace.mli *)
-(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *)
+(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
 
 (* ---------------------------------------------------------------------- *)
 (* Debugging support *)
diff --git a/src/ubase/uarg.ml b/src/ubase/uarg.ml
index 9c643ef..5ffd924 100644
--- a/src/ubase/uarg.ml
+++ b/src/ubase/uarg.ml
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/uarg.ml *)
-(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *)
+(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
 
 (* by Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
 (* Slightly modified by BCP, July 1999 *)
diff --git a/src/ubase/util.ml b/src/ubase/util.ml
index 9f4fe66..8af4714 100644
--- a/src/ubase/util.ml
+++ b/src/ubase/util.ml
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/util.ml *)
-(* Copyright 1999-2017, Benjamin C. Pierce
+(* Copyright 1999-2018, Benjamin C. Pierce
 
     This program is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
diff --git a/src/ubase/util.mli b/src/ubase/util.mli
index d7409c8..b213560 100644
--- a/src/ubase/util.mli
+++ b/src/ubase/util.mli
@@ -1,5 +1,5 @@
 (* Unison file synchronizer: src/ubase/util.mli *)
-(* Copyright 1999-2017, Benjamin C. Pierce (see COPYING for details) *)
+(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
 
 (* Miscellaneous utility functions and datatypes *)