From 42e09b6d888a29cc6273b8e77d5f9a2e5582abc4 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 6 Jun 2019 11:22:08 +0200 Subject: Update ml-style headers to new year. --- topbin/coqc_bin.ml | 2 +- topbin/coqproofworker_bin.ml | 2 +- topbin/coqqueryworker_bin.ml | 2 +- topbin/coqtacticworker_bin.ml | 2 +- topbin/coqtop_bin.ml | 2 +- topbin/coqtop_byte_bin.ml | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) (limited to 'topbin') diff --git a/topbin/coqc_bin.ml b/topbin/coqc_bin.ml index d711c81124..11a6871a5c 100644 --- a/topbin/coqc_bin.ml +++ b/topbin/coqc_bin.ml @@ -1,6 +1,6 @@ (************************************************************************) (* * The Coq Proof Assistant / The Coq Development Team *) -(* v * INRIA, CNRS and contributors - Copyright 1999-2018 *) +(* v * INRIA, CNRS and contributors - Copyright 1999-2019 *) (*