go

zenna · Jun 19, 2019 · 0a94831 · 0a94831
1 parent 762121b
commit 0a94831
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/soft/any.jl b/src/soft/any.jl
@@ -3,7 +3,7 @@ function anyₛ(xs::AbstractArray{T, N}) where {T <: SoftBool, N}
 end
 
 function allₛ(xs::AbstractArray{T, N}) where {T <: SoftBool, N}
-  SoftBool(minimum([sb.logerr for sb in xs]))
+  SoftBool(sum([sb.logerr for sb in xs]))
 end
 
 function anyₛ(xs::AbstractArray{T, N}) where {T <: DualSoftBool, N}