From 6d55318ae1451add13ec5c0d18db2cabbcc1a53f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 31 Jan 2019 11:32:58 +0100
Subject: [PATCH] [stdlib] update headers

---
 src/libraries/utils/sanitizer.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/libraries/utils/sanitizer.ml b/src/libraries/utils/sanitizer.ml
index 25c9bb0ec73..9f5dcac094b 100644
--- a/src/libraries/utils/sanitizer.ml
+++ b/src/libraries/utils/sanitizer.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2007-2019                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
-- 
GitLab