cosmetics

[frescor/frsh-include.git] / frsh_feedback_control.h

diff --git a/frsh_feedback_control.h b/frsh_feedback_control.h
index 06af3beafaf8dc7d071c292c37460ccde733e994..c5a737af6fbb184ab17452eb6281d06dad3d2269 100644 (file)
--- a/frsh_feedback_control.h
+++ b/frsh_feedback_control.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_feedback_control.h
 
@@ -136,14 +130,14 @@ FRSH_CPP_BEGIN_DECLS
  * No threads must be ever attached to the contract identified by
  * spare_id.
  **/
-int frsh_feedback_set_spare(frsh_vres_id_t spare_id);
+int frsh_feedback_set_spare(const frsh_contract_t *spare_contract);
 
 /**
  * frsh_feedback_get_spare()
  *
  * Get version of the frsh_feedback_set_spare() function.
  **/
-int frsh_feedback_get_spare(frsh_vres_id_t *p_spare_id);
+int frsh_feedback_get_spare(frsh_contract_t *spare_contract);
 
 /**
  * frsh_feedback_set_desired_budget()