diff options
Diffstat (limited to 'gcc/ada/a-nudira.ads')
-rw-r--r-- | gcc/ada/a-nudira.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/a-nudira.ads b/gcc/ada/a-nudira.ads index 77501ec..c2a7382 100644 --- a/gcc/ada/a-nudira.ads +++ b/gcc/ada/a-nudira.ads @@ -41,7 +41,9 @@ with System.Random_Numbers; generic type Result_Subtype is (<>); -package Ada.Numerics.Discrete_Random is +package Ada.Numerics.Discrete_Random with + SPARK_Mode => Off +is -- Basic facilities |