Specify --level=2 to GNATprove

damaki · Aug 22, 2016 · 7b15077 · 7b15077
1 parent 46e31ca
commit 7b15077
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/build_libkeccak.gpr b/build/build_libkeccak.gpr
@@ -13,7 +13,7 @@ is
    end Builder;
 
    package Prove is
-      for Switches use ("-j4", "--timeout=30");
+      for Switches use ("-j4", "--level=2", "--timeout=30");
    end Prove;
 
    package Compiler is