fix make_alias_definitions for catlab compatibility
#486
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 2m 52s | |
| 2m 6s | |
| 3m 6s | |
| 3m 0s | |
| 11m 4s |
make_alias_definitions for catlab compatibility
#486
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 2m 52s | |
| 2m 6s | |
| 3m 6s | |
| 3m 0s | |
| 11m 4s |