From 5c4e20a2f30e0396fc74645b2860f0a9bf56e41f Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 3 Jan 2024 02:20:42 +0100 Subject: [PATCH] fixing headers --- examples/N.v | 2 +- examples/artifact_paper_example.v | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/N.v b/examples/N.v index 45a2f5a..52cde81 100644 --- a/examples/N.v +++ b/examples/N.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/artifact_paper_example.v b/examples/artifact_paper_example.v index 906cd9d..b590a53 100644 --- a/examples/artifact_paper_example.v +++ b/examples/artifact_paper_example.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *)