Suppress warnings from Algebra.Properties.CommutativeMonoid (#1100)

Author: MatthewDaggitt

src/Algebra/Operations/CommutativeMonoid.agda

@@ -7,6 +7,9 @@
 
 {-# OPTIONS --without-K --safe #-}
 
+-- Disabled to prevent warnings from deprecated Table
+{-# OPTIONS --warn=noUserWarning #-}
+
 open import Algebra
 
 module Algebra.Operations.CommutativeMonoid

src/Algebra/Properties/CommutativeMonoid.agda

@@ -6,6 +6,9 @@
 
 {-# OPTIONS --without-K --safe #-}
 
+-- Disabled to prevent warnings from deprecated Table
+{-# OPTIONS --warn=noUserWarning #-}
+
 open import Algebra.Bundles
 
 module Algebra.Properties.CommutativeMonoid