using instead of import in paper

JuliaReach · Nov 24, 2023 · 2142c5b · 2142c5b
1 parent b77f107
commit 2142c5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paper/paper.tex b/paper/paper.tex
@@ -55,7 +55,7 @@ \subsection{The enclose API}
 \vspace*{-3mm}
 \begin{lstlisting}[language=Julia]
 import RangeEnclosures: enclose
-import IntervalArithmetic: Interval
+using IntervalArithmetic: Interval
 function enclose(f::Function,
                  D::Union{Interval,IntervalBox},
                  solver::MyEnclosure; kwargs...)