1 files changed, 3 insertions, 1 deletions

diff --git a/src/set/gnunet-service-set.h b/src/set/gnunet-service-set.h
index b92eb47ff..248b778d9 100644
--- a/src/set/gnunet-service-set.h
+++ b/src/set/gnunet-service-set.h
@@ -444,9 +444,11 @@ struct Set
  * operations per set.
  *
  * @param op operation to destroy
+ * @param gc #GNUNET_YES to perform garbage collection on the set
  */
 void
-_GSS_operation_destroy (struct Operation *op);
+_GSS_operation_destroy (struct Operation *op,
+                        int gc);
 
 
 /**