Merge pull request #1432 from JuliaReach/schillic/times

Export 'times' symbol
JuliaReach · Jun 12, 2019 · 6d58c75 · 6d58c75
2 parents 02916e5 + c52a2c4
commit 6d58c75
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/LazySets.jl b/src/LazySets.jl
@@ -11,6 +11,7 @@ using Random: AbstractRNG, GLOBAL_RNG, SamplerType, shuffle
 import InteractiveUtils: subtypes
 
 export Approximations
+export ×
 
 # ===================
 # Auxiliary functions