diff options
Diffstat (limited to 'src/util/getopt.c')
-rw-r--r-- | src/util/getopt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/getopt.c b/src/util/getopt.c index 6dfad96da..b1737bbc7 100644 --- a/src/util/getopt.c +++ b/src/util/getopt.c | |||
@@ -37,6 +37,7 @@ | |||
37 | * replace main GNU getopt parser with one that | 37 | * replace main GNU getopt parser with one that |
38 | * actually fits our API. | 38 | * actually fits our API. |
39 | */ | 39 | */ |
40 | |||
40 | #include "platform.h" | 41 | #include "platform.h" |
41 | #include "gnunet_util_lib.h" | 42 | #include "gnunet_util_lib.h" |
42 | 43 | ||