From cf7bcecd104292ceeb10c74a3aeeabadd25f4c1d Mon Sep 17 00:00:00 2001
From: Matteo Cypriani <matteo.cypriani@univ-fcomte.fr>
Date: Fri, 22 Jul 2011 10:06:08 +0200
Subject: [PATCH] [Positioning] Input: delete unused header

The function add_request_to_stock() was declared in input.hh, but not
defined anywhere.
---
 owlps-positioning/src/input.hh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/owlps-positioning/src/input.hh b/owlps-positioning/src/input.hh
index c9c72b4..865a941 100644
--- a/owlps-positioning/src/input.hh
+++ b/owlps-positioning/src/input.hh
@@ -18,7 +18,6 @@ protected:
   void initialise_input_medium(void) ;
   void initialise_log_media(void) ;
   void initialise_log_csv(void) ;
-  void add_request_to_stock(const Request &request) const ;
   void log_current_request(void) const ;
 
 public: