remove precompile statement

JuliaReach · Mar 12, 2024 · 40fe005 · 40fe005
1 parent e711a29
commit 40fe005
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/MathematicalPredicates.jl b/src/MathematicalPredicates.jl
@@ -1,5 +1,3 @@
-__precompile__(true)
-
 module MathematicalPredicates
 
 export Predicate, Atom, Negation, Conjunction, Disjunction,
@@ -11,7 +9,7 @@ include("Negation.jl")
 include("Conjunction.jl")
 include("Disjunction.jl")
 
-# external functionality using 'Requires'
+# optional dependencies
 using Requires
 include("init.jl")