diff -r 21274e5950af -r a1f4cb076d2f src/server/util/systems.h
--- a/src/server/util/systems.h	Tue Aug 13 22:14:32 2019 +0200
+++ b/src/server/util/systems.h	Sat Sep 24 16:26:10 2022 +0200
@@ -58,10 +58,6 @@
 typedef int PRBool;
 #define PR_TRUE  1
 #define PR_FALSE 0
-
-typedef int WSBool;
-#define WS_TRUE  1
-#define WS_FALSE 0
 /* end new types */
 
 /* --- End common definitions for all supported platforms --- */