From 99c07c690994b9fd93a614ce7cf10a77e98a8ec3 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 8 Nov 2017 09:06:50 +0100 Subject: [PATCH] allow precompilation of the module --- src/Groups.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Groups.jl b/src/Groups.jl index ca7e544..d471d81 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -1,3 +1,4 @@ +__precompile__() module Groups using Nemo