From e74c41b5090d6de89cd2d9937dd42429e2b29d89 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Tue, 12 Mar 2024 21:18:01 +0100
Subject: [PATCH] move 'using' code

---
 src/ForwardAlgorithms/Verisig.jl                   | 3 ---
 src/ForwardAlgorithms/init_ReachabilityAnalysis.jl | 3 ++-
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/ForwardAlgorithms/Verisig.jl b/src/ForwardAlgorithms/Verisig.jl
index 824414e..36d2d03 100644
--- 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
index 3058110..5da58e7 100644
--- 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)