Remove redundant Additive constraint

typelift · Nov 11, 2017 · fc503a6 · fc503a6
1 parent 65ff311
commit fc503a6
Showing 1 changed file with 1 addition and 1 deletion.
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.