remove unused aliases

JuliaReach · Mar 10, 2024 · 4944033 · 4944033
1 parent a96068b
commit 4944033
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/ReachabilityModels.jl b/src/ReachabilityModels.jl
@@ -6,12 +6,6 @@ using Reexport
 
 include("utils.jl")
 
-# name alias
-fetch_model = load_model
-fetch_meta = load_meta
-
-export fetch_model, fetch_meta,
-       load_model, load_meta,
-       list_models
+export load_model, load_meta, list_models
 
 end  # module