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 402a4b357d2524cf9032b3b5e83ca199d0f688ed..2921b9e4246a6da00bc7271781eb4618f0911beb 100644 (file)
--- a/marte_non_local_jump/non_local_jump.adb
+++ b/marte_non_local_jump/non_local_jump.adb
@@ -23,10 +23,10 @@
 --  {MAR>} -------------------------------------------------------------------
 with System.Machine_Code; use System.Machine_Code;
 with Ada.Unchecked_Conversion;
-with Hardware_Interface;
+with Marte.Hal;
 
 package body Non_Local_Jump is
-   use Basic_Integer_Types;
+   use Marte.Integer_Types;
    use System;
 
    pragma Optimize (Off);
@@ -99,7 +99,7 @@ package body Non_Local_Jump is
       Asm ("1: popl %%ebp;",
            No_Output_Operands,
            No_Input_Operands, "", True);
-      Hardware_Interface.Interrupts_Enabled;
+      Marte.Hal.Enable_Interrupts;
    end Save_Context;
 
    ------------------