From a99776e10e0b2198d2b811ad82631111fb450f8a Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 18 Mar 2020 12:14:26 +0100 Subject: Update headers in the whole code base. Add headers to a few files which were missing them. --- printing/genprint.ml | 4 ++-- printing/genprint.mli | 4 ++-- printing/ppconstr.ml | 4 ++-- printing/ppconstr.mli | 4 ++-- printing/pputils.ml | 4 ++-- printing/pputils.mli | 4 ++-- printing/printer.ml | 4 ++-- printing/printer.mli | 4 ++-- printing/printmod.ml | 4 ++-- printing/printmod.mli | 4 ++-- printing/proof_diffs.ml | 4 ++-- printing/proof_diffs.mli | 4 ++-- 12 files changed, 24 insertions(+), 24 deletions(-) (limited to 'printing') diff --git a/printing/genprint.ml b/printing/genprint.ml index a673cbd933..0157c066b6 100644 --- a/printing/genprint.ml +++ b/printing/genprint.ml @@ -1,7 +1,7 @@ (************************************************************************) (* * The Coq Proof Assistant / The Coq Development Team *) -(* v * INRIA, CNRS and contributors - Copyright 1999-2019 *) -(*