Fixing license header

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

diff --git a/marte_non_local_jump/context.ads b/marte_non_local_jump/context.ads
index 707f805d25cffb4ea3e629016e80ea43327c0440..c01e67ec1326c20a4ae6c85e715d788d4fd28142 100644 (file)
--- a/marte_non_local_jump/context.ads
+++ b/marte_non_local_jump/context.ads
@@ -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
+--                                  Spec\r
+--\r
+--  File 'context.ads'                                          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
 package Context is\r
 \r
    type Work_Acc is access procedure;\r