This commit fixes a bug in save world. If the mutatee does not have
authorchadd <chadd>
Wed, 19 Jun 2002 18:18:34 +0000 (18:18 +0000)
committerchadd <chadd>
Wed, 19 Jun 2002 18:18:34 +0000 (18:18 +0000)
commitbef5360ce1e4abfdd534b55cc09eb0a3d18fe0bb
treeb08c4507ac3e62c4ab522a290df32fe821793480
parentc46add2a1e1cfd38992ea4f3f1b25a03c09c3d5e
This commit fixes a bug in save world.  If the mutatee does not have
an non-dynamic symbol table save the world would crash. now the
code correctly checks for this.
dyninstAPI/src/addLibrary.C