From 61a504c4273d01aecf1a149f5d9d8a3ab5e354c3 Mon Sep 17 00:00:00 2001
From: Roberto Raggi <roberto.raggi@nokia.com>
Date: Thu, 18 Mar 2010 15:21:07 +0100
Subject: Ensure that the memory pool can be reused after a rewind and get rid
 of the segmented array.

---
 src/shared/cplusplus/TranslationUnit.h | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'src/shared/cplusplus/TranslationUnit.h')

diff --git a/src/shared/cplusplus/TranslationUnit.h b/src/shared/cplusplus/TranslationUnit.h
index 8014adf511..53e11abb9b 100644
--- a/src/shared/cplusplus/TranslationUnit.h
+++ b/src/shared/cplusplus/TranslationUnit.h
@@ -52,9 +52,8 @@
 #include "CPlusPlusForwardDeclarations.h"
 #include "ASTfwd.h"
 #include "Token.h"
-#include "Array.h"
-#include <stdio.h> // for FILE*
-#include <vector> // ### remove me
+#include <cstdio>
+#include <vector>
 
 
 namespace CPlusPlus {
@@ -184,7 +183,7 @@ private:
     const StringLiteral *_fileId;
     const char *_firstSourceChar;
     const char *_lastSourceChar;
-    Array<Token, 8> *_tokens;
+    std::vector<Token> *_tokens;
     std::vector<unsigned> _lineOffsets;
     std::vector<PPLine> _ppLines;
     MemoryPool *_pool;
-- 
cgit v1.2.1