X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=examples%2FDemoMain.hs;h=08fab3e6d6dd51a623721e9459f547420920dee1;hb=35974aa218dd8ebad2462a356a1ef81e41bddf7a;hp=cc438bab3b69fb494777440010100b78c78d05c9;hpb=856ef91d5132ac813631f01420a8291a92bce1ad;p=coq-hetmet.git

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index cc438ba..08fab3e 100644
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,5 +1,7 @@
 import Control.Category
 import GArrowTikZ
+import GHC.HetMet.Private
+import GHC.HetMet.GArrow
 import Demo
 
-main = tikz $ \const merge -> demo const merge
+main = tikz demo