diff --git a/src/analyses/cfg_dominators.h b/src/analyses/cfg_dominators.h
index 687d84e1416..1a4d6090f47 100644
--- a/src/analyses/cfg_dominators.h
+++ b/src/analyses/cfg_dominators.h
@@ -35,7 +35,6 @@ class cfg_dominators_templatet
 
   void operator()(P &program);
 
-  target_sett top;
   T entry_node;
 
   void output(std::ostream &) const;
@@ -101,10 +100,6 @@ template <class P, class T, bool post_dom>
 void cfg_dominators_templatet<P, T, post_dom>::initialise(P &program)
 {
   cfg(program);
-
-  // initialise top element
-  for(const auto &node : cfg.entry_map)
-    top.insert(cfg[node.second].PC);
 }
 
 /*******************************************************************\