diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-31 13:03:48 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-31 13:03:48 +0100 |
| commit | 7e3cf5f461eb4fbb7581672bf0835da07c378136 (patch) | |
| tree | bdc3874b7894242b095b892f1ed3e81a4d4f06c0 /src/rps/gnunet-service-rps_sampler.c | |
| parent | 01b480d6d026e0c537dc284a7e7df2c0320a3528 (diff) | |
tighten formatting rules
Diffstat (limited to 'src/rps/gnunet-service-rps_sampler.c')
| -rw-r--r-- | src/rps/gnunet-service-rps_sampler.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rps/gnunet-service-rps_sampler.c b/src/rps/gnunet-service-rps_sampler.c index 7573fd4eb..598cc887e 100644 --- a/src/rps/gnunet-service-rps_sampler.c +++ b/src/rps/gnunet-service-rps_sampler.c @@ -216,6 +216,7 @@ RPS_sampler_init (size_t init_size, return sampler; } + /** * Get one random peer out of the sampled peers. * |