X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowSkeleton.hs;h=14827ec6ea67e084e394a6fbf4dcd9784c8d7791;hp=2c53283659d75de50853c90fa6218740dd0e5fe6;hb=bc93ead06902db52dfcc229084a42152d4166bdf;hpb=3282a2b78028238987a5a49e59d8e8d495aea0e1

diff --git a/examples/GArrowSkeleton.hs b/examples/GArrowSkeleton.hs
index 2c53283..14827ec 100644
--- a/examples/GArrowSkeleton.hs
+++ b/examples/GArrowSkeleton.hs
@@ -81,7 +81,7 @@ type instance GArrowTensor      (GArrowSkeleton m) = (,)
 type instance GArrowUnit        (GArrowSkeleton m) = ()
 type instance GArrowExponent    (GArrowSkeleton m) = (->)
 
-instance GArrowSTKC (GArrowSkeleton m)
+instance GArrowSTKCL (GArrowSkeleton m)
 
 --
 -- | Simple structural equality on skeletons.  NOTE: two skeletons