X-Git-Url: http://git.buserror.net/cgi-bin/gitweb.cgi?p=polintos%2Fscott%2Fpriv.git;a=blobdiff_plain;f=kernel%2Fmem%2Fpagetable.cc;h=88b97ea35be7d0e073cffaacc29723b9ec05cdfb;hp=5a0412678a1079fc77ba632a6daf9d6145fc34f0;hb=b4bfc871337ca32ce83407916a87db2524729ca9;hpb=77bf9a95a836b14a243953e1fbd28c7c1106c59a

diff --git a/kernel/mem/pagetable.cc b/kernel/mem/pagetable.cc
index 5a04126..88b97ea 100644
--- a/kernel/mem/pagetable.cc
+++ b/kernel/mem/pagetable.cc
@@ -20,7 +20,7 @@
 
 #include <kern/mem.h>
 #include <kern/pagealloc.h>
-#include <kern/pagetable.h>
+#include <kern/generic-pagetable.h>
 #include <kern/generic-pte.h>
 #include <lowlevel/atomic.h>
 #include <util/misc.h>