search

gts-morpher / gts_morpher

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

Auto-complete warning should not prevent weaving #33

Closed szschaler closed 4 years ago

szschaler commented 4 years ago

If a complete morphism is marked as auto-complete, we issue a warning. When weaving as part of the build process, any GTS weaving off of such a morphism is ignored. Instead, the warning should be disregarded.