X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;fp=examples%2FGArrowTikZ.hs;h=6ebaded31454d384ded6f9a6dfbd42f19202c2ed;hp=54c31ee44c32a573e131a14b38f3b3eda00c23af;hb=2444f0cbf7ed5c744c43dbca114a4f400cd1522f;hpb=a857bd034d826d8718833dd360fe499d5e9c03ba

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index 54c31ee..6ebaded 100644
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -341,9 +341,11 @@ tikz example
           putStrLn "\\usepackage[tightpage,active]{preview}"
           putStrLn "\\begin{document}"
           putStrLn "\\setlength\\PreviewBorder{5pt}"
+          putStrLn "\\begin{preview}"
           putStrLn $ "\\begin{tikzpicture}[every on chain/.style={join=by ->},yscale=-1]"
           putStrLn (toTikZ example)
           putStrLn "\\end{tikzpicture}"
+          putStrLn "\\end{preview}"
           --putStrLn "\\pagebreak"
           --putStrLn "\\begin{align*}"
           --putStr   (toTikZ' example)