[PPL-devel] BitSet and Integer are now in the PPL namespace

[Roberto Bagnara]

Please, replace the contents of your ppl/src/BitSet directory
with the contents of spartacus.cs.unipr.it:/opt/ppl-distrib/BitSet.
This is the only thing you should do, apart from cvs-updating the
rest of your copy of the sources.
Ciao,

      Roberto

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it