One more fix

OlivierHnt · Dec 2, 2023 · 651c1e3 · 651c1e3
1 parent e6bd64a
commit 651c1e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/display.jl b/src/display.jl
@@ -54,7 +54,7 @@ Display options:
   - significant digits: 6 (ignored)
 
 julia> x
-Interval(0.1, 0.3, com)
+Interval{Float64}(0.1, 0.3, com)
 
 julia> setdisplay(:infsup; sigdigits = 3)
 Display options: