fix make_alias_definitions for catlab compatibility#133
Merged
kris-brown merged 2 commits intomainfrom catlabcompatDec 7, 2023
+3-3
Commits
Commits on Dec 7, 2023
- committed
Kris Brown - committedKris Brown