Fixing license header

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

diff --git a/marte_non_local_jump/non_local_jump_test.adb b/marte_non_local_jump/non_local_jump_test.adb
index 17282cdb33f25e42740dfd6d58c4e59e9e644d62..aa88188b3c57dede2f95642a9abc2deccdc4f607 100644 (file)
--- a/marte_non_local_jump/non_local_jump_test.adb
+++ b/marte_non_local_jump/non_local_jump_test.adb
@@ -1,3 +1,26 @@
+------------------------------------------------------------------------------\r
+--  ------------------         M a R T E   O S         -------------------  --\r
+------------------------------------------------------------------------------\r
+--                                                             {MARTE_VERSION}\r
+--\r
+--                      'N o n _ L o c a l _ J u m p'\r
+--\r
+--                                  Spec\r
+--\r
+--  File 'non_local_jump.ads'                                          By MAR\r
+--\r
+--  Non-local jumps for preempted tasks.\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
 pragma Task_Dispatching_Policy (FIFO_Within_Priorities);\r
 with MaRTE_OS;\r
 with Text_IO; use Text_IO;\r