diff --git a/kernel/is_valid.o b/kernel/is_valid.o
deleted file mode 100644
index 75f17fe..0000000
Binary files a/kernel/is_valid.o and /dev/null differ