From 241f228f8972bafe945ab5845e1841b68f7e0667 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 24 Jan 2013 11:46:02 +0000
Subject: [PATCH] fix

---
 src/consensus/gnunet-consensus.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/consensus/gnunet-consensus.c b/src/consensus/gnunet-consensus.c
index 222ec3e9d..a63575825 100644
--- a/src/consensus/gnunet-consensus.c
+++ b/src/consensus/gnunet-consensus.c
@@ -288,6 +288,11 @@ run (void *cls, char *const *args, const char *cfgfile,
 {
   static char *session_str = "gnunet-consensus/test";
 
+  if (num_peers < replication)
+  {
+    fprintf (stderr, "k must be <=n\n");
+    return;
+  }
 
   GNUNET_log (GNUNET_ERROR_TYPE_INFO, "running gnunet-consensus\n");
 
-- 
2.25.1