Retire push_button() and button_was_pressed()

[stockfish] / src / ucioption.h

diff --git a/src/ucioption.h b/src/ucioption.h
index b5648af5f04b18c781992d8ff1119bcb4e63a333..e68e438b4ad66dae49846415db5f9b12a51481b7 100644 (file)
--- a/src/ucioption.h
+++ b/src/ucioption.h
@@ -36,9 +36,6 @@ extern void print_uci_options();
 extern bool get_option_value_bool(const std::string& optionName);
 extern int get_option_value_int(const std::string& optionName);
 extern std::string get_option_value_string(const std::string& optionName);
-extern bool button_was_pressed(const std::string& buttonName);
 extern void set_option_value(const std::string& optionName,const std::string& newValue);
-extern void push_button(const std::string& buttonName);
-
 
 #endif // !defined(UCIOPTION_H_INCLUDED)