Index: algorithms.hh
===================================================================
RCS file: /cvs/ppl/ppl/src/algorithms.hh,v
retrieving revision 1.31
retrieving revision 1.32
diff -c -d -r1.31 -r1.32
*** algorithms.hh	15 Sep 2004 12:42:20 -0000	1.31
--- algorithms.hh	15 Sep 2004 16:27:22 -0000	1.32
***************
*** 101,107 ****
  	  std::pair<NNC_Polyhedron, Polyhedra_PowerSet<NNC_Polyhedron> >
  	    partition = linear_partition(pi, pj);
  	  tmp.erase(j);
- 	  new_disjuncts.add_disjunct(partition.first);
  	  new_disjuncts.upper_bound_assign(partition.second);
  	}
        }
--- 101,106 ----