[tyvis-devel] tyvis update

[Dale E Martin]

Update of /usr/local/cvsroot/tyvis/src/tyvis
In directory silverton:/tmp/cvs-serv20835/src/tyvis

Modified Files:
	CompositeLiteral.cc 
Log Message:
"divineIndexType" enhanced for correctness with more unconstrained types.