casa-mp-base

--- IosVector.cpp.orig  2004-10-09 08:41:12.000000000 +1000

+++ IosVector.cpp   2014-02-21 16:31:24.000000000 +1100

@@ -102,6 +102,6 @@

 void IosVector::dumpVector() const {

    fprintf(stderr, "Size: %d\n", getSize());

    for (int i = 0, j = getSize() ; i < j ; i++)

-       fprintf(stderr, "elt[%d]=%d ", i, (int)getElementAt(i));

+       fprintf(stderr, "elt[%d]=%p ", i, getElementAt(i));

    fprintf(stderr, "\n");

 }