1 files changed, 1 insertions, 1 deletions
diff --git a/src/Misc.v b/src/Misc.v
index 31a7086..636dedf 100644
--- a/src/Misc.v
+++ b/src/Misc.v
@@ -1,7 +1,7 @@
 (**************************************************************************)
 (*                                                                        *)
 (*     SMTCoq                                                             *)
-(*     Copyright (C) 2011 - 2021                                          *)
+(*     Copyright (C) 2011 - 2022                                          *)
 (*                                                                        *)
 (*     See file "AUTHORS" for the list of authors                         *)
 (*                                                                        *)