update demo for new more-efficient encoding of functions

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

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index d832b6e..9386d00 100644 (file)
--- 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