Merge pull request #21 from JuliaReach/schillic/using

Move `using` code
JuliaReach · Mar 12, 2024 · 125a99f · 125a99f
2 parents c891025 + e74c41b
commit 125a99f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/src/ForwardAlgorithms/Verisig.jl b/src/ForwardAlgorithms/Verisig.jl
@@ -41,9 +41,6 @@ end
 
 function load_Verisig()
     return quote
-        using .ReachabilityAnalysis: TMJets, IVP, BlackBoxContinuousSystem, solve, evaluate,
-                                     TaylorModelN
-
         function _Verisig_default_algorithm()
             return TMJets(; abstol=1e-14, orderQ=2, orderT=6)
         end

diff --git a/src/ForwardAlgorithms/init_ReachabilityAnalysis.jl b/src/ForwardAlgorithms/init_ReachabilityAnalysis.jl
@@ -1,5 +1,6 @@
 # COV_EXCL_START
-using .ReachabilityAnalysis: @taylorize, TaylorIntegration, TaylorN, Taylor1
+using .ReachabilityAnalysis: @taylorize, TaylorIntegration, TaylorN, Taylor1, TaylorModelN,
+                             TMJets, IVP, BlackBoxContinuousSystem, solve, evaluate
 
 # Verisig helper functions (need to be defined in this separate file because of
 # the macro)