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
|