Merge pull request compiling-to-categories#86 from con-kitty/fix-stre…

…ngth Fix an issue with re-adding the Strength class.
con-kitty · Jan 5, 2022 · fca593a · fca593a
2 parents 7ca84b6 + 91b9a42
commit fca593a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/src/ConCat/Translators.hs b/plugin/src/ConCat/Translators.hs
@@ -23,7 +23,7 @@ import Data.Pointed
 import Data.Key (Zip(..))
 
 import ConCat.Misc ((:*),result)
-import ConCat.AltCat
+import ConCat.AltCat hiding (Strong, strength)
 
 -- I could use this simpler style to simplify the plugin, e.g.,