stack: bump to lts-12.25

[comptalang.git] / lcc / Hcompta / LCC / Sym / Subable.hs

diff --git a/lcc/Hcompta/LCC/Sym/Subable.hs b/lcc/Hcompta/LCC/Sym/Subable.hs
index c45a9a4dfbf0f79543ff23be6dd0e0df75c55d8f..259d609f4f1610ac2c9b83677fd31691c4d5b3f1 100644 (file)
--- a/lcc/Hcompta/LCC/Sym/Subable.hs
+++ b/lcc/Hcompta/LCC/Sym/Subable.hs
@@ -25,13 +25,13 @@ instance (Sym_Subable r1, Sym_Subable r2) => Sym_Subable (Dup r1 r2) where
 instance (Sym_Subable term, Sym_Lambda term) => Sym_Subable (BetaT term)
 
 instance NameTyOf Subable where
-       nameTyOf _c = ["LCC"] `Mod` "Subable"
+       nameTyOf _c = ["Subable"] `Mod` "Subable"
 instance FixityOf Subable
 instance ClassInstancesFor Subable
 instance TypeInstancesFor Subable
 instance Gram_Term_AtomsFor src ss g Subable
 instance (Source src, SymInj ss Subable) => ModuleFor src ss Subable where
-       moduleFor = ["LCC"] `moduleWhere`
+       moduleFor = ["Subable"] `moduleWhere`
         [ "-" `withInfixB` (SideL, 6) := teSubable_sub
         ]