Changes in kernel/genarch/src/kbrd/kbrd_at.c [63e27ef:5012203] in mainline

File:

• kernel/genarch/src/kbrd/kbrd_at.c (modified) (2 diffs)

kernel/genarch/src/kbrd/kbrd_at.c

@@ -35 +35 @@
  */
 
-#include <assert.h>
 #include <genarch/kbrd/kbrd.h>
 #include <genarch/kbrd/scanc.h>
@@ -193 +192 @@
 indev_t *kbrd_wire(kbrd_instance_t *instance, indev_t *sink)
 {
-        assert(instance);
-        assert(sink);
+        ASSERT(instance);
+        ASSERT(sink);
         
         instance->sink = sink;