Rule is not actually used, so remove it for clarity

AdaCore · Oct 7, 2024 · a8d2d3d · a8d2d3d
1 parent 69accc9
commit a8d2d3d
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/rules/lkql/has_restriction.lkql b/content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/rules/lkql/has_restriction.lkql