Merge pull request #51 from JuliaReach/schillic/precompile

Remove precompile statement
JuliaReach · Mar 19, 2024 · 218bc33 · 218bc33
2 parents e711a29 + 40fe005
commit 218bc33
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")