From b495eeca38787476dd2cda7c735856a9b8aa97f9 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 11 Dec 2018 18:36:28 +0100
Subject: [PATCH] accidental removal

---
 src/arm/gnunet-arm.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/arm/gnunet-arm.c b/src/arm/gnunet-arm.c
index 69e230f87..28d1f7592 100644
--- a/src/arm/gnunet-arm.c
+++ b/src/arm/gnunet-arm.c
@@ -696,6 +696,7 @@ timeout_task_cb (void *cls)
 static void
 run (void *cls,
      char *const *args,
+     const char *cfgfile,
      const struct GNUNET_CONFIGURATION_Handle *c)
 {
   char *armconfig;
-- 
2.25.1