X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemoMain.hs;fp=examples%2FDemoMain.hs;h=c511bfaca2b1633d30bf727e2c1ae33b30f65113;hp=08fab3e6d6dd51a623721e9459f547420920dee1;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=2f22f2f26622f85e457060de3a5c534004a26e79 diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs index 08fab3e..c511bfa 100644 --- a/examples/DemoMain.hs +++ b/examples/DemoMain.hs @@ -1,7 +1,7 @@ import Control.Category import GArrowTikZ import GHC.HetMet.Private -import GHC.HetMet.GArrow +import Control.GArrow import Demo main = tikz demo