1 files changed, 0 insertions, 5 deletions
diff --git a/src/extension/execution-env.h b/src/extension/execution-env.h
index 199e3a5e2..b1a3a8ea2 100644
--- a/src/extension/execution-env.h
+++ b/src/extension/execution-env.h
@@ -103,13 +103,8 @@ public:
 
 private:
     void runComplete (void);
-    void createPrefsDialog (Gtk::Widget * controls);
     void createWorkingDialog (void);
     void workingCanceled (const int resp);
-    void processingCancel (void);
-    void processingComplete(void);
-    void documentCancel (void);
-    void documentCommit (void);
     void reselect (void);
     void genDocCache (void);
     void killDocCache (void);