diff --git a/share/libc/wctype.h b/share/libc/wctype.h
index 905361471c505b520c27d1e56b1fcafb7f680557..a65baafe48adc967d91adc4bbb01dc5f99a750c6 100644
--- a/share/libc/wctype.h
+++ b/share/libc/wctype.h
@@ -26,8 +26,7 @@
 
 #include "features.h"
 __PUSH_FC_STDLIB
-#include "__fc_define_wint_t.h"
-
+#include <wchar.h>
 __BEGIN_DECLS
 
 extern int iswalnum(wint_t wc);
diff --git a/tests/libc/oracle/wctype_h.res.oracle b/tests/libc/oracle/wctype_h.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..2d3436c070bf27c6002a195cf457905cdc56a5ff
--- /dev/null
+++ b/tests/libc/oracle/wctype_h.res.oracle
@@ -0,0 +1,11 @@
+[kernel] Parsing tests/libc/wctype_h.c (with preprocessing)
+[eva] Analyzing a complete application starting at main
+[eva] Computing initial state
+[eva] Initial state computed
+[eva:initial-state] Values of globals at initialization
+  
+[eva] Recording results for main
+[eva] done for function main
+[eva] ====== VALUES COMPUTED ======
+[eva:final-states] Values at end of function main:
+  __retres ∈ {-1}
diff --git a/tests/libc/wctype_h.c b/tests/libc/wctype_h.c
new file mode 100644
index 0000000000000000000000000000000000000000..13f53c66a3ccb2a16d686e0c8626fc014606ac6e
--- /dev/null
+++ b/tests/libc/wctype_h.c
@@ -0,0 +1,5 @@
+#include <wctype.h>
+
+int main() {
+  return WEOF;
+}