Merge branch 'topic/bernardi/mi-v-remove-systick-from-names-24' into …

…'24-sustained' miv runtime: remove unused Sys_Tick_Interrupt interrupt name See merge request eng/toolchain/bb-runtimes!119
AdaCore · Aug 1, 2024 · 9ec1042 · 9ec1042
2 parents decc434 + c65057d
commit 9ec1042
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/riscv/microchip/miv_rv32imaf/a-intnam.ads b/riscv/microchip/miv_rv32imaf/a-intnam.ads
@@ -13,9 +13,6 @@ package Ada.Interrupts.Names is
    -- Interrupts --
    ----------------
 
-   --  System tick
-   Sys_Tick_Interrupt : constant Interrupt_ID := -1;
-
    --  Target Specific Names
 
    Timer_0 : constant Interrupt_ID := 8;