assert overammbitious.

diff --git a/servers/vm/pagefaults.c b/servers/vm/pagefaults.c
index 8ba94db4ad296f18e6bd9a9e4090c4e3ac004817..41da1ac736ca425b462e9c9abb39c7f465724f6e 100644 (file)
--- a/servers/vm/pagefaults.c
+++ b/servers/vm/pagefaults.c
@@ -112,7 +112,7 @@ PUBLIC void do_pagefaults(void)
                        continue;
                }
 
-               vm_assert(addr > region->vaddr);
+               vm_assert(addr >= region->vaddr);
                offset = addr - region->vaddr;
 
                /* Access is allowed; handle it. */