From c22a1828063756fdc11876993e6f1e2ca3bba04d Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Mon, 4 May 2020 16:35:45 +0200 Subject: Adding copyrights --- runtime/c/write_profiling_table.c | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'runtime/c') diff --git a/runtime/c/write_profiling_table.c b/runtime/c/write_profiling_table.c index 0ce7a948..f8f46306 100644 --- a/runtime/c/write_profiling_table.c +++ b/runtime/c/write_profiling_table.c @@ -1,3 +1,15 @@ +/* *************************************************************/ +/* */ +/* The Compcert verified compiler */ +/* */ +/* David Monniaux CNRS, VERIMAG */ +/* */ +/* Copyright VERIMAG. All rights reserved. */ +/* This file is distributed under the terms of the INRIA */ +/* Non-Commercial License Agreement. */ +/* */ +/* *************************************************************/ + #include #include #include -- cgit