$NetBSD: patch-ab,v 1.2 2005/11/15 14:32:58 rillig Exp $

--- src/paging.cc.orig	2001-05-28 11:37:08.000000000 +0200
+++ src/paging.cc	2005-11-13 14:19:10.000000000 +0100
@@ -518,7 +518,7 @@
       return (BeltPos)i;
   }
     
-  ASSERT(FALSE);
+  ASSERT(0);
 
   return BOTTOM;  // XXX
 }