From 1f74fdf503d3c501d2e261e76337452f6401d63a Mon Sep 17 00:00:00 2001 From: François Pottier Date: Fri, 23 Oct 2015 13:59:40 +0200 Subject: Added copyright banners to the new files. --- cparser/pre_parser.mly | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser/pre_parser.mly') diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index 1de726be..25e7a745 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -3,6 +3,7 @@ /* The Compcert verified compiler */ /* */ /* Jacques-Henri Jourdan, INRIA Paris-Rocquencourt */ +/* François Pottier, INRIA Paris-Rocquencourt */ /* */ /* Copyright Institut National de Recherche en Informatique et en */ /* Automatique. All rights reserved. This file is distributed */ -- cgit