clean up demo code

[coq-hetmet.git] / examples / DemoMain.hs

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index cc438ba..08fab3e 100644 (file)
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,5 +1,7 @@
 import Control.Category
 import GArrowTikZ
 import Control.Category
 import GArrowTikZ

+import GHC.HetMet.Private
+import GHC.HetMet.GArrow

 import Demo
 
 import Demo
 

-main = tikz $ \const merge -> demo const merge
+main = tikz demo