*** empty log message ***

diff --git a/src/ptytty.h b/src/ptytty.h
index 7dc736c2596a074bbfa8ae676a50a57061428841..89abeac1fe958ae1317326cc5d25670972e2aae4 100644 (file)
--- a/src/ptytty.h
+++ b/src/ptytty.h
@@ -21,6 +21,8 @@ public:
   bool get ();
   void put ();
 
+  void close_tty ();
+
   bool make_controlling_tty ();
 };