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