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

…ster' miv runtime: remove unused Sys_Tick_Interrupt interrupt name See merge request eng/toolchain/bb-runtimes!118
AdaCore · Aug 1, 2024 · e787fed · e787fed
2 parents 6e2f73a + c22be76
commit e787fed
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;