X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemoMain.hs;h=9386d00174bb105f0dcbbbb9b8977528dcf140b5;hp=d832b6e660dc2db17838ecacdb8f6bb7d408d43d;hb=cb76623a15c668453a369b06698c6896ba3075ee;hpb=6ae1b9b08da7c1d1f0de42afa1ccbf42acda3e62

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index d832b6e..9386d00 100644
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -6,4 +6,4 @@ import GHC.HetMet.Private
 import GArrowTikZ
 import Demo
 
-main = tikz' $ \const merge -> foo const (pga_comp (pga_second pga_cancelr) merge)
+main = tikz' $ \const merge -> foo const merge