From 3e521d29522016e75960ba7da3af71c652c0675b Mon Sep 17 00:00:00 2001
From: Mario Lang <mlang@delysid.org>
Date: Mon, 18 Sep 2017 17:00:04 +0200
Subject: [PATCH] Delete now useless local copy

---
 include/chaiscript/dispatchkit/dispatchkit.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/chaiscript/dispatchkit/dispatchkit.hpp b/include/chaiscript/dispatchkit/dispatchkit.hpp
index 2e71e543..ae729819 100644
--- a/include/chaiscript/dispatchkit/dispatchkit.hpp
+++ b/include/chaiscript/dispatchkit/dispatchkit.hpp
@@ -1142,7 +1142,6 @@ namespace chaiscript
         void dump_system() const
         {
           std::cout << "Registered Types: \n";
-          std::vector<std::pair<std::string, Type_Info> > types = get_types();
           for (auto const &type: get_types())
           {
             std::cout << type.first << ": " << type.second.bare_name() << '\n';