Cleanup

2018-03-30 18:32:34 +01:00
parent c89e336862
commit dc241ebf78
3 changed files with 2 additions and 19 deletions
--- 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;