From 862bc53d0798458257e1cdd2c9b36f8a36c4a8e1 Mon Sep 17 00:00:00 2001
From: Jens Gerlach <jens.gerlach@fokus.fraunhofer.de>
Date: Fri, 23 Oct 2015 14:31:55 +0200
Subject: [PATCH] simplify Enumerator::add_elem

---
 src/Enumerator.h | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Enumerator.h b/src/Enumerator.h
index b545466ec..2bb18c8af 100644
--- a/src/Enumerator.h
+++ b/src/Enumerator.h
@@ -180,11 +180,9 @@ template <class Name>
 void
 Enumerator<Name>::add_elem(Name name, int bound)
 {
-	typename map<Name, EnumObject*>::iterator i = objs_.find(name);
-	assert(i == objs_.end());
+	assert(objs_.find(name) == objs_.end());
 
-	EnumObject *obj = new EnumObject(bound, false, false);
-	objs_[name] = obj;
+	objs_[name] = new EnumObject(bound, false, false);
 }
 
 template <class Name>