diff -r 752c53e34c53 -r bf4d9f8dba5b Win32OperatingSystem.st
--- a/Win32OperatingSystem.st	Wed Jun 27 08:10:51 2018 +0200
+++ b/Win32OperatingSystem.st	Wed Jun 27 09:48:23 2018 +0200
@@ -817,10 +817,6 @@
     return(1);
 }
 
-UINT WINAPI GetSystemWow64Directory(
-  _Out_ LPTSTR lpBuffer,
-  _In_  UINT   uSize
-);
 %}
 ! !