model_server/xref/src/symbolPtr.h.cxx
//.............................................
// The section in here was in-line code, and probably should become
//    that again.   later...
The section in here was in-line code, and probably should become
that again.   later
The section in here was in - line code and probably should become that again . later
symbolPtr::symbolPtr(const symbolPtr& that)
{
    un.cp  = that.un.cp;
    offset = that.offset;
    if(is_smt()) {
	smtMarker *sm = (smtMarker *)un.rp;
	sm->ref++;
    }
}
symbolPtr :: symbolPtr ( const symbolPtr & that ) { un . cp = that . un . cp ; offset = that . offset ; if ( is_smt ( ) ) { smtMarker * sm = ( smtMarker * ) un . rp ; sm -> ref ++ ; } }
.............................................
.............................................
//	printf("Reference incremented %x\n", (void *)sm);