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/Control.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/shared/cplusplus/Control.cpp')

diff --git a/src/shared/cplusplus/Control.cpp b/src/shared/cplusplus/Control.cpp
index 39dd834f02..7a3d901b4d 100644
--- a/src/shared/cplusplus/Control.cpp
+++ b/src/shared/cplusplus/Control.cpp
@@ -53,7 +53,6 @@
 #include "CoreTypes.h"
 #include "Symbols.h"
 #include "Names.h"
-#include "Array.h"
 #include "TypeMatcher.h"
 #include <map>
 #include <set>
-- 
cgit v1.2.1