summaryrefslogtreecommitdiff
path: root/www/aws/files/patch-src_extended_aws-services-web__block-context.ads
blob: 3cf3927cccdc544c49d2b023c6189fd18ab57c5c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
--- src/extended/aws-services-web_block-context.ads.orig	2015-06-22 10:52:10 UTC
+++ src/extended/aws-services-web_block-context.ads
@@ -95,7 +95,7 @@ private
    use Ada;
    use GNAT;
 
-   pragma Suppress (Tampering_Check);
+   --  pragma Suppress (Tampering_Check);
    --  Suppress Tampering_Check until O608-005 fixed.
 
    package KV is new Containers.Indefinite_Hashed_Maps