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. --- parsing/cLexer.ml | 4 ++-- parsing/cLexer.mli | 4 ++-- parsing/extend.ml | 4 ++-- parsing/g_constr.mlg | 4 ++-- parsing/g_prim.mlg | 4 ++-- parsing/notation_gram.ml | 4 ++-- parsing/notgram_ops.ml | 4 ++-- parsing/notgram_ops.mli | 4 ++-- parsing/pcoq.ml | 4 ++-- parsing/pcoq.mli | 4 ++-- parsing/ppextend.ml | 4 ++-- parsing/ppextend.mli | 4 ++-- parsing/tok.ml | 4 ++-- parsing/tok.mli | 4 ++-- 14 files changed, 28 insertions(+), 28 deletions(-) (limited to 'parsing') diff --git a/parsing/cLexer.ml b/parsing/cLexer.ml index 4611d64665..6a436fbcb7 100644 --- a/parsing/cLexer.ml +++ b/parsing/cLexer.ml @@ -1,7 +1,7 @@ (************************************************************************) (* * The Coq Proof Assistant / The Coq Development Team *) -(* v * INRIA, CNRS and contributors - Copyright 1999-2019 *) -(*