Fixup of some headers.
[barrelfish] / kernel / dispatch.c
index f100539..89c815e 100644 (file)
@@ -42,8 +42,6 @@
 #  include <fpu.h>
 #endif
 
-#define MIN(a,b)        ((a) < (b) ? (a) : (b))
-
 /**
  * \brief The kernel timeslice given in system ticks
  */