allow precompilation of the module
This commit is contained in:
parent
2c45b70eac
commit
a78f6bedce
|
@ -1,3 +1,4 @@
|
||||||
|
__precompile__()
|
||||||
module GroupRings
|
module GroupRings
|
||||||
|
|
||||||
using Nemo
|
using Nemo
|
||||||
|
|
Loading…
Reference in New Issue