From e8f7c26479d4f5d633012a82a53afd3cfa772f7b Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Tue, 12 May 2015 11:25:34 +0200
Subject: [PATCH] Fixed template problem.

---
 libevmasm/KnownState.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/libevmasm/KnownState.cpp b/libevmasm/KnownState.cpp
index d6fbde2d9..5a70a74fb 100644
--- a/libevmasm/KnownState.cpp
+++ b/libevmasm/KnownState.cpp
@@ -162,7 +162,7 @@ KnownState::StoreOperation KnownState::feedItem(AssemblyItem const& _item, bool
 
 /// Helper function for KnownState::reduceToCommonKnowledge, removes everything from
 /// _this which is not in or not equal to the value in _other.
-template <class _Mapping, class _KeyType = ExpressionClasses::Id> void intersect(
+template <class _Mapping, class _KeyType> void intersect(
 	_Mapping& _this,
 	_Mapping const& _other,
 	function<_KeyType(_KeyType)> const& _keyTrans = [](_KeyType _k) { return _k; }
@@ -175,6 +175,11 @@ template <class _Mapping, class _KeyType = ExpressionClasses::Id> void intersect
 			it = _this.erase(it);
 }
 
+template <class _Mapping> void intersect(_Mapping& _this, _Mapping const& _other)
+{
+	intersect<_Mapping, ExpressionClasses::Id>(_this, _other, [](ExpressionClasses::Id _k) { return _k; });
+}
+
 void KnownState::reduceToCommonKnowledge(KnownState const& _other)
 {
 	int stackDiff = m_stackHeight - _other.m_stackHeight;