diff --git a/rs.cc b/rs.cc
index 4070708..99b85d8 100644
--- a/rs.cc
+++ b/rs.cc
@@ -119,20 +119,6 @@ std::string RctSys::getProcessName(Process processID)
   }
 }
 
-void RctSys::printEntitiesPerProc(const EntitiesForProc &proc_entities)
-{
-  for (const auto &pe : proc_entities) {
-    std::string proc_name = getProcessName(pe.first);
-    cout << proc_name << ": ";
-
-    for (const auto &ent : pe.second) {
-      cout << getEntityName(ent) << " ";
-    }
-
-    cout << endl;
-  }
-}
-
 void RctSys::pushReactant(std::string entityName)
 {
   if (!hasEntity(entityName)) {
diff --git a/rs.hh b/rs.hh
index e50efec..0247a24 100644
--- a/rs.hh
+++ b/rs.hh
@@ -49,8 +49,6 @@ class RctSys
     Process getProcessID(std::string processName);
     std::string getProcessName(Process processID);
 
-    void printEntitiesPerProc(const EntitiesForProc &proc_entities);
-
     void addReactionForCurrentProcess(Reaction reaction);
 
     void pushReactant(std::string entityName);
diff --git a/symrs.cc b/symrs.cc
index 1c35d7e..17b1ebe 100644
--- a/symrs.cc
+++ b/symrs.cc
@@ -83,11 +83,10 @@ void SymRS::mapProcEntities(void)
   // for (const )
   // usedCtxEntities
 
-  rs->printEntitiesPerProc(usedProducts);
+  cout << rs->procEntitiesToStr(usedProducts) << endl;
+
 }
 
-
-
 BDD SymRS::encEntity_raw(Entity entity, bool succ) const
 {
   BDD r;