We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent deb14ec commit cdd86a1Copy full SHA for cdd86a1
gnat.adc
@@ -2,7 +2,6 @@ pragma Assertion_Policy (Pre => Check, Pre'Class => Check);
2
pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
3
4
pragma Restrictions (No_Obsolescent_Features);
5
-pragma Restrictions (No_Recursion);
6
7
pragma Restrictions (No_Dependence => Ada.Finalization);
8
pragma Restrictions (No_Dependence => Ada.Unchecked_Deallocation);
0 commit comments