diff --git a/src/MathematicalPredicates.jl b/src/MathematicalPredicates.jl index 245c1f7..2e05d84 100644 --- 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")