Remove redundant Additive constraint

mbrandonw · web-flow · commit a247ba6a73ba · 2017-09-12T19:03:31.000-04:00
diff --git a/Algebra/Ring.swift b/Algebra/Ring.swift
@@ -10,7 +10,7 @@
 public protocol Rng : Group, Semiring { }
 
 /// A Rig is a Ring with elements lacking an inverse.
-public protocol Rig : Semiring, Additive { }
+public protocol Rig : Semiring { }
 
 /// A Ring is a Group with a second operator that distributes over the group operation much like
 /// how multiplication distributes over addition.
