diff --git a/src/gnat.adc b/src/gnat.adc
index 65a0ecf567f1ae2724a919263fb526860a8f5b04..83010e8e10e180b9ebea612cd516d4688efb4f92 100644
--- a/src/gnat.adc
+++ b/src/gnat.adc
@@ -11,6 +11,13 @@
 
 pragma Locking_Policy (Ceiling_Locking);                 -- D.13.1
 
+--------------------------------------------------------------------------------
+-- Activate SPARK Mode, even if we do not actually use it on the
+-- target: the code has Spark_Mode disabled in some occurences,
+-- without this pragma the code would be rejected.
+
+pragma Spark_Mode (On);
+
 --------------------------------------------------------------------------------
 --  The following define restrictions to be supported by the
 --  PolyORB-HI, common restrictions