diff --git a/src/ai/manager.cpp b/src/ai/manager.cpp
index d2d6f9ec2bf..f34a5717bcd 100644
--- a/src/ai/manager.cpp
+++ b/src/ai/manager.cpp
@@ -257,13 +257,6 @@ const std::string holder::get_ai_identifier() const
 // AI COMMAND HISTORY ITEM
 // =======================================================================
 
-command_history_item::command_history_item()
-	: number_(0), command_()
-{
-
-}
-
-
 command_history_item::command_history_item( side_number number, const std::string& command )
 	: number_(number), command_(command)
 {
@@ -271,34 +264,17 @@ command_history_item::command_history_item( side_number number, const std::strin
 }
 
 
-command_history_item::~command_history_item()
-{
-
-}
-
-
 int command_history_item::get_number() const
 {
 	return this->number_;
 }
 
 
-void command_history_item::set_number( int number )
-{
-	this->number_ = number;
-}
-
 const std::string& command_history_item::get_command() const
 {
 	return this->command_;
 }
 
-
-void command_history_item::set_command( const std::string& command )
-{
-	this->command_ = command;
-}
-
 // =======================================================================
 // LIFECYCLE
 // =======================================================================
diff --git a/src/ai/manager.hpp b/src/ai/manager.hpp
index 9af85c1ea67..3f6b7d4ab70 100644
--- a/src/ai/manager.hpp
+++ b/src/ai/manager.hpp
@@ -97,10 +97,8 @@ public:
 	command_history_item(int number, const std::string& command);
 
 	int get_number() const;
-	void set_number(int number);
 
 	const std::string& get_command() const;
-	void set_command(const std::string& command);
 
 private:
 	int number_;