search

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations
MIT License
4 stars 0 forks source link

link deletion #29

Closed narudocap closed 4 years ago

narudocap commented 4 years ago

To avoid problems with dangling references I added a new removal rule, but now it wouldn't amalgamate the gts.

image image

pls_link_deletion_bug.zip

szschaler commented 4 years ago

Looks like another instance where we don't correctly identify the rule kernel and so unnamed nodes cause problems.

szschaler commented 4 years ago

Confirmed: as soon as I name the Observer node in the Remove rule, the exception goes away. I will fix this next.