simplify Enumerator::add_elem

csmith-project · Oct 23, 2015 · 862bc53 · 862bc53
1 parent b0f66cc
commit 862bc53
Showing 1 changed file with 2 additions and 4 deletions.
diff --git 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>