X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Flinux-os.c;h=6c185ae75f4fa3122dfac1f297acad4844fd6c34;hb=26b8ddda97fcfa2e2c0eae3bd2fdb19717c5fa40;hp=def0b6afe237385907aa0a2c3dab7447d8727c08;hpb=c9bb20c4b0d1f232ec83569d3456b3f3edc4aa1c;p=sbcl.git

diff --git a/src/runtime/linux-os.c b/src/runtime/linux-os.c
index def0b6a..6c185ae 100644
--- a/src/runtime/linux-os.c
+++ b/src/runtime/linux-os.c
@@ -40,7 +40,7 @@
 #include <sys/stat.h>
 #include <unistd.h>
 
-#include "x86-validate.h"
+#include "validate.h"
 size_t os_vm_page_size;
 
 #if defined GENCGC