X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemo.hs;h=fea2dc7d960af4181932dee030d6a5583f12ed21;hp=74bbef0ef54ecdd731b6f8e0e1384ebeaae86e33;hb=19de93285ccd98f84a60fbfe81c079133293d617;hpb=15df3430938d7175361b848de6578aea195e612f

diff --git a/examples/Demo.hs b/examples/Demo.hs
index 74bbef0..fea2dc7 100644
--- a/examples/Demo.hs
+++ b/examples/Demo.hs
@@ -5,6 +5,5 @@ import GHC.HetMet.Private
 import GArrowTikZ
 
 foo x = <[ ~~x ]>
-foo' = unG . pga_flatten . foo . pga_unflatten
---foo x z = <[ let y = ~~x in ~~z y y ]>
-main = tikz (foo' (PGArrowD { unG = TikZ_const 12 }))
+
+main = tikz' $ pga_flatten . foo . pga_unflatten