From 5acfff7b03a89f7545798bae016f68995ec98643 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Fri, 1 Mar 2019 21:42:02 +0100
Subject: [PATCH] disable precompilation

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

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index e86ef1e..6c50b21 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -1,3 +1,4 @@
+__precompile__(false)
 module PropertyT
 
 using Nemo