1 files changed, 0 insertions, 37 deletions
diff --git a/util.h b/util.h
deleted file mode 100644
index 9fe115cc..00000000
--- a/util.h
+++ /dev/null
@@ -1,37 +0,0 @@
-#ifndef _UTIL_H
-#define _UTIL_H
-
-inline char * skip_ws(char * ptr) {
-  while (*ptr == ' ' || *ptr == '\t' || *ptr == '\n')
-    ptr++;
-  return ptr;
-}
-
-inline char peek_next_nonws(std::istream& in) {
-  char c = in.peek();
-  while (! in.eof() && std::isspace(c)) {
-    in.get(c);
-    c = in.peek();
-  }
-  return c;
-}
-
-#define READ_INTO(str, targ, size, var, cond) {		\
-  char * _p = targ;					\
-  var = str.peek();					\
-  while (! str.eof() && (cond) && _p - targ < size) {	\
-    str.get(var);					\
-    if (str.eof())					\
-      break;						\
-    if (var == '\\') {					\
-      str.get(var);					\
-      if (in.eof())					\
-	break;						\
-    }							\
-    *_p++ = var;					\
-    var = str.peek();					\
-  }							\
-  *_p = '\0';						\
-}
-
-#endif // _UTIL_H