-
Robert Ricci authored
go on the end of a link line in the top file, trivial_ok . This means that it's okay to map the virtual link to a trivial link. By default, it will not be permissible to use trivial links. Right now, however, trivial links are OK by default, but that will change once assign_wrapper flags all simulated links as trivial_ok .
d564f690