4 files changed, 6 insertions, 12 deletions
diff --git a/src/stdint/WCHAR_MAX.c b/src/stdint/WCHAR_MAX.c
deleted file mode 100644
index 502b1735..00000000
--- a/src/stdint/WCHAR_MAX.c
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-#define WCHAR_MAX                                                     (0x10FFFF)
-
-/*
-STDC(199901)
-*/
diff --git a/src/stdint/WCHAR_MAX.ref b/src/stdint/WCHAR_MAX.ref
new file mode 100644
index 00000000..ebf316bd
--- /dev/null
+++ b/src/stdint/WCHAR_MAX.ref
@@ -0,0 +1,3 @@
+#include <stdint.h>
+REFERENCE(wchar/WCHAR_MAX.c)
+STDC(199901)
diff --git a/src/stdint/WCHAR_MIN.c b/src/stdint/WCHAR_MIN.c
deleted file mode 100644
index 00123ddf..00000000
--- a/src/stdint/WCHAR_MIN.c
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-#define WCHAR_MIN                                                            (0)
-
-/*
-STDC(199901)
-*/
diff --git a/src/stdint/WCHAR_MIN.ref b/src/stdint/WCHAR_MIN.ref
new file mode 100644
index 00000000..fa6f6b00
--- /dev/null
+++ b/src/stdint/WCHAR_MIN.ref
@@ -0,0 +1,3 @@
+#include <stdint.h>
+REFERENCE(wchar/WCHAR_MIN.c)
+STDC(199901)