1 files changed, 0 insertions, 39 deletions
diff --git a/src/user/lib/fwik/include/IO/IOStream.h b/src/user/lib/fwik/include/IO/IOStream.h
deleted file mode 100644
index 2e33268..0000000
--- a/src/user/lib/fwik/include/IO/IOStream.h
+++ /dev/null
@@ -1,39 +0,0 @@
-#ifndef DEF_FWIK_IO_IOSTREAM_H
-#define DEF_FWIK_IO_IOSTREAM_H
-
-#include "Term.h"
-
-#include <String.h>
-
-class IOStream {
-	public:
-	Term *term;
-
-	IOStream() : term(0) {}
-	IOStream(Term *t) : term(t) {}
-
-	void print(const char* str);
-	void printf(const char* fmt, ...);
-	String readln();
-
-	IOStream &operator<<(const char* s) {
-		print(s);
-		return *this;
-	}
-	IOStream &operator<<(const String& s) {
-		print(s.c_str());
-		return *this;
-	}
-	IOStream &operator<<(int i) {
-		printf("%d", i);
-		return *this;
-	}
-	IOStream &operator<<(void* p) {
-		printf("%p", p);
-		return *this;
-	}
-};
-
-extern IOStream stdio;
-
-#endif