1 files changed, 0 insertions, 27 deletions
diff --git a/include/cobs.h b/include/cobs.h
deleted file mode 100644
index 24e16fb..0000000
--- a/include/cobs.h
+++ /dev/null
@@ -1,27 +0,0 @@
-#ifndef __COBS_H__
-#define __COBS_H__
-
-#include <stdint.h>
-#include <unistd.h>
-#include <string.h>
-
-
-struct cobs_decode_state {
-    size_t p;
-    size_t c;
-};
-
-
-ssize_t cobs_encode(char *dst, size_t dstlen, char *src, size_t srclen);
-ssize_t cobs_decode(char *dst, size_t dstlen, char *src, size_t srclen);
-
-int cobs_encode_incremental(void *f, int (*output)(void *f, unsigned char c), unsigned char *src, size_t srclen);
-
-/*@ requires \valid(state);
-    ensures state->p == 0 && state->c == 0;
-    assigns *state;
-  @*/
-void cobs_decode_incremental_initialize(struct cobs_decode_state *state);
-int cobs_decode_incremental(struct cobs_decode_state *state, unsigned char *dst, size_t dstlen, unsigned char src);
-
-#endif//__COBS_H__