From 309b1c778c8a822e40986eabf1d89c402a59df44 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 22 Jun 2013 18:45:49 +0000
Subject: Fix incomplete checking.

---
 src/include/token.H | 17 -----------------
 src/syntax/token.cc |  6 ------
 2 files changed, 23 deletions(-)

diff --git a/src/include/token.H b/src/include/token.H
index 40b5dd11..f9fbe873 100644
--- a/src/include/token.H
+++ b/src/include/token.H
@@ -176,23 +176,6 @@ namespace OpenAxiom {
          unindent_tv,           // new line indentation, less than previous
          justify_tv,            // align indentation with preceding line.
       };
-      
-      // -- Representation of a token
-      struct Rep {
-         Value value;
-         Input::Span span;
-         Input::Line line;
-      };
-
-      // -- Random access stream of tokens.
-      struct Stream : std::vector<Rep> {
-         Stream(Stream&&) = default;
-         Stream(const Stream&) = delete;
-         Stream& operator=(const Stream&) = delete;
-      };
-
-      // Inserting a token into a stream.
-      Stream& operator<<(Stream&, const Rep&);
    }
 }
 
diff --git a/src/syntax/token.cc b/src/syntax/token.cc
index 4f7bae29..297ca416 100644
--- a/src/syntax/token.cc
+++ b/src/syntax/token.cc
@@ -33,12 +33,6 @@
 #include <open-axiom/token>
 
 namespace OpenAxiom {
-   token::Stream&
-   token::operator<<(token::Stream& s, const token::Rep& t) {
-      s.push_back(t);
-      return s;
-   }
-
    namespace token {
       struct Keyword {
          const char* const key;
-- 
cgit v1.2.3