1 files changed, 0 insertions, 10 deletions
diff --git a/src/stage0_primitives.h b/src/stage0_primitives.h
deleted file mode 100644
index a9a71eb..0000000
--- a/src/stage0_primitives.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef STAGE0_PRIMITIVES_H
-#define STAGE0_PRIMITIVES_H
-
-#include <stdint.h>
-
-extern uint32_t DNS4_OFFSET;
-char* write32_slid(uint32_t where,
-				   uint32_t what);
-
-#endif
-\ No newline at end of file