1 files changed, 0 insertions, 17 deletions

diff --git a/src/old/stringrep.h b/src/old/stringrep.h
deleted file mode 100644
index eaa4a12..0000000
--- a/src/old/stringrep.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#ifndef STRING_REP_H
-#define STRING_REP_H
-
-#include <stdint.h>
-
-/**
- * Calculates the length of a string.
- */
-int32_t stringlen( const char *s );
-
-/**
- * Identicle to strdup, which isn't available everywhere, but uses c++ memory
- * facilities.  Remember to use delete[] when freeing the returned string.
- */
-char *stringdup( const char *s );
-
-#endif