[fix] issues agda#1755 and agda#1865

jamesmckinna · jamesmckinna · commit 766755eaf193 · 2022-10-25T10:02:59.000+01:00
diff --git a/src/Data/Integer/Properties.agda b/src/Data/Integer/Properties.agda
@@ -2386,3 +2386,6 @@ Please use pos-* instead."
 "Warning: +-isAbelianGroup was deprecated in v2.0
 Please use +-0-isAbelianGroup instead."
 #-}
+{- issue1844/issue1755: raw bundles have moved to `Data.X.Base` -}
+open Data.Integer.Base public 
+  using (*-rawMagma; *-1-rawMonoid)
