X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;fp=examples%2FGArrowTikZ.hs;h=f3ad72828a062d8cfa6e3ed005c9be62be0c8472;hp=819ca1d054f4a9a349c8f9f1b68dc5dc2272db1c;hb=542be54b8968c631f0c397272cf05871ccef425b;hpb=09ecf444dc69f6d0129605b46aaa88531bbb6b87

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index 819ca1d..f3ad728 100644
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -491,7 +491,7 @@ tikz :: forall c .
              (PGArrow g (GArrowTensor g c c) c) ->
              PGArrow g c c)
      -> IO ()
-tikz x = tikz' $ optimize $ unG (x (\c -> PGArrowD { unG = GAS_const c }) (PGArrowD { unG = GAS_merge }))
+tikz x = tikz' $ beautify $ optimize $ unG (x (\c -> PGArrowD { unG = GAS_const c }) (PGArrowD { unG = GAS_merge }))
 
 tikz' example
      = do putStrLn "\\documentclass{article}"