X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;h=f3ad72828a062d8cfa6e3ed005c9be62be0c8472;hb=6ba2c98f5e7f9c00651d6050a98d1d7aab758958;hp=819ca1d054f4a9a349c8f9f1b68dc5dc2272db1c;hpb=423b0bd3972c5bcbbd757cb715e13b5b9104a9a6;p=coq-hetmet.git

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}"