From 5860a4e28eaa36efda9d89cbf8cc12e724314d7d Mon Sep 17 00:00:00 2001
From: Dennis Luxen <info@project-osrm.org>
Date: Mon, 28 Jul 2014 16:15:21 +0200
Subject: [PATCH] clear external vector after use, closes #1131

---
 Contractor/Contractor.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Contractor/Contractor.h b/Contractor/Contractor.h
index e3ca29b42..ef2f7deee 100644
--- a/Contractor/Contractor.h
+++ b/Contractor/Contractor.h
@@ -604,6 +604,7 @@ class Contractor
         BOOST_ASSERT(0 == orig_node_id_to_new_id_map.capacity());
 
         edges.append(external_edge_list.begin(), external_edge_list.end());
+        external_edge_list.clear();
     }
 
   private: