Fixing license header

[frescor/fosa.git] / marte_non_local_jump / context.adb

diff --git a/marte_non_local_jump/context.adb b/marte_non_local_jump/context.adb
index d0379f6cd6f4af09060c0b96cd83dfb320c90294..4c43568854d40da3183c6a8921ab5cc537d183c9 100644 (file)
--- a/marte_non_local_jump/context.adb
+++ b/marte_non_local_jump/context.adb
@@ -1,3 +1,26 @@
+------------------------------------------------------------------------------\r
+--  ------------------         M a R T E   O S         -------------------  --\r
+------------------------------------------------------------------------------\r
+--                                                             {MARTE_VERSION}\r
+--\r
+--                            'C o n t e x t'\r
+--\r
+--                                  Body\r
+--\r
+--  File 'context.adb'                                          By MAR\r
+--\r
+--  Processor context for non-local jumps\r
+--\r
+--  IMPORTANT: it must be compiled without any optimization!!\r
+--\r
+--  {MARTE_COPYRIGHT}\r
+--\r
+------------------------------------------------------------------------------\r
+--  {<MAR}\r
+--\r
+--  02-08-07:version operativa.\r
+--\r
+--  {MAR>} -------------------------------------------------------------------\r
 with Text_IO; use Text_IO;\r
 with Basic_Integer_Types;\r
 with Non_Local_Jump;\r