Updating marte_non_local_jump to new MaRTE OS file organisation

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

diff --git a/marte_non_local_jump/non_local_jump.adb b/marte_non_local_jump/non_local_jump.adb
index 8741992f352eca8228f768c9d3f48b860f8bde36..2921b9e4246a6da00bc7271781eb4618f0911beb 100644 (file)
--- a/marte_non_local_jump/non_local_jump.adb
+++ b/marte_non_local_jump/non_local_jump.adb
@@ -23,9 +23,10 @@
 --  {MAR>} -------------------------------------------------------------------
 with System.Machine_Code; use System.Machine_Code;
 with Ada.Unchecked_Conversion;
+with Marte.Hal;
 
 package body Non_Local_Jump is
-   use Basic_Integer_Types;
+   use Marte.Integer_Types;
    use System;
 
    pragma Optimize (Off);
@@ -98,6 +99,7 @@ package body Non_Local_Jump is
       Asm ("1: popl %%ebp;",
            No_Output_Operands,
            No_Input_Operands, "", True);
+      Marte.Hal.Enable_Interrupts;
    end Save_Context;
 
    ------------------