diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-22 15:27:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-22 15:27:16 +0000 |
| commit | db544b1cc9ee72c87dd6bbd094f6985b9e436186 (patch) | |
| tree | c96255a4a7f7bb39343c2fe7c5252af8d86651da /src/server | |
| parent | bac6b7fe6438d06fab3451263d4d94e9055f6f88 (diff) | |
PGFService.hs: fix type error caused by change to PGF.graphvizParseTree
Note that some of the graphviz functions have backwards incompatible changes
that might also affect other clients of the PGF run-time library.
Also added graphvizDefaults and export it together with GraphvizOptions from
the PGF run-time library.
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index ebb32f4b9..908325c19 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -338,7 +338,7 @@ outputGraphviz code = _ -> "application/binary" abstrTree pgf tree = PGF.graphvizAbstractTree pgf (True,True) tree -parseTree pgf lang tree = PGF.graphvizParseTree pgf lang tree +parseTree pgf lang tree = PGF.graphvizParseTree pgf lang PGF.graphvizDefaults tree alignment pgf tree = PGF.graphvizAlignment pgf (PGF.languages pgf) tree pipeIt2graphviz :: String -> String -> IO BS.ByteString |