diff options
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 d84f2b3c2..f12ad75fb 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -794,7 +794,7 @@ parseTree pgf lang opts tree = PGF.graphvizParseTree pgf lang opts tree doDepTree lc path pgf fmt lang tree = do (_,lbls) <- liftIO $ getLabels lc path pgf - let vis = PGF.graphvizDependencyTree fmt False (Just lbls) () pgf lang tree + let vis = PGF.graphvizDependencyTree fmt False (Just lbls) Nothing pgf lang tree ---- TODO: CncLabels if fmt `elem` ["png","gif","gv"] then outputGraphviz vis else if fmt=="svg" |