From a78f6bedce2935b70beed21de8df0f95607b815d Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 8 Nov 2017 09:07:36 +0100
Subject: [PATCH] allow precompilation of the module

---
 src/GroupRings.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/GroupRings.jl b/src/GroupRings.jl
index 3c84198..0f51d70 100644
--- a/src/GroupRings.jl
+++ b/src/GroupRings.jl
@@ -1,3 +1,4 @@
+__precompile__()
 module GroupRings
 
 using Nemo