Merge pull request #536 from JuliaReach/mforets/update_interval_docst…

…ring Update Interval.jl docstring
JuliaReach · Aug 13, 2018 · 8627d06 · 8627d06
2 parents 8900c0a + 108b349
commit 8627d06
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Interval.jl b/src/Interval.jl
@@ -28,8 +28,6 @@ library for representation of intervals and arithmetic operations.
 ### Examples
 
 Unidimensional intervals are symbolic representations of a real closed interval.
-This type requires the user to load the `IntervalArithmetic` library, since
-artithmetic operations rely on that module.
 
 We can create intervals in different ways, the simpler way is to pass a pair
 of numbers: