diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ee00d1f4b99..cfbdf89a582 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnarl/s-osinte__mingw.ads (CRITICAL_SECTION): Use proper
+	type for SpinCount component.
+
 2019-07-09  Justin Squirek  <squirek@adacore.com>
 
 	* exp_ch4.adb (Expand_N_Allocator): Add conditional to detect
diff --git a/gcc/ada/libgnarl/s-osinte__mingw.ads b/gcc/ada/libgnarl/s-osinte__mingw.ads
index 2cf47b72a66..2a986641f69 100644
--- a/gcc/ada/libgnarl/s-osinte__mingw.ads
+++ b/gcc/ada/libgnarl/s-osinte__mingw.ads
@@ -369,7 +369,7 @@ private
       --  section for the resource.
 
       LockSemaphore : Win32.HANDLE;
-      SpinCount     : Win32.DWORD;
+      SpinCount     : Interfaces.C.size_t;
    end record;
 
 end System.OS_Interface;