search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 35 forks source link

Remove references to removed file 'gap/tools/enums.gi' #1022

Open ChrisJefferson opened 2 months ago

ChrisJefferson commented 2 months ago

The file gap/tools/enums.gi was removed at some point, but semigroups still tries to load it.

At the moment, this does nothing (which is why it wasn't noticed), but we'd like to make this a loud warning in future, so it would be good to clean it up.