diff options
Diffstat (limited to 'cparser/handcrafted.messages')
-rw-r--r-- | cparser/handcrafted.messages | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages index 1d78360a..ba2031d7 100644 --- a/cparser/handcrafted.messages +++ b/cparser/handcrafted.messages @@ -1,3 +1,15 @@ +####################################################################### +# # +# The Compcert verified compiler # +# # +# François Pottier, INRIA Paris-Rocquencourt # +# # +# Copyright Institut National de Recherche en Informatique et en # +# Automatique. All rights reserved. This file is distributed # +# under the terms of the INRIA Non-Commercial License Agreement. # +# # +####################################################################### + # This file contains a complete list of sentences that cause the pre_parser to # detect an error. |