Changeset 12790

Timestamp:

05.11.2009 20:46:54 (2 weeks ago)

Author:

maeder

Message:

removed unused cDisplayGraph

Files:

• trunk/CMDL/InfoCommands.hs (modified) (4 diffs)

trunk/CMDL/InfoCommands.hs

@@ -18 +18 @@
        ( cNodes
        , cShowDgGoals
-       , cDisplayGraph
        , cShowNodeProvenGoals
        , cShowNodeUnprovenGoals
@@ -39 +38 @@
 import Common.UniUtils
 import GUI.Taxonomy
-import GUI.ShowGraph
 #endif
 
@@ -63 +61 @@
 import Logic.Prover (SenStatus)
 import Logic.Comorphism (AnyComorphism)
-
-import Driver.Options (defaultHetcatsOpts)
 
 import Interfaces.Command (cmdNameStr, describeCmd, showCmd)
@@ -303 +299 @@
      return $ genMessage [] (intercalate "\n" $ sort ls) state
 
--- draw graph
-cDisplayGraph::CmdlState -> IO CmdlState
-cDisplayGraph state
- = case i_state $ intState state of
-#ifdef UNI_PACKAGE
-    Just dgState ->
-     do
-      -- obtain the name of the last loaded library for
-      -- documentation/debugging reasons
-      let flnm = fileLoaded $  prompter state
-      showGraph flnm defaultHetcatsOpts ( Just
-                   (i_ln dgState, i_libEnv dgState))
-      return state
-#endif
-   -- no development graph present
-    _ -> return state
-
 cHelp :: [CmdlCmdDescription] -> CmdlState -> IO CmdlState
 cHelp allcmds state = do