From 43b43e5b21c67ef10666f558d7f4c2c0d5426b5e Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 9 Mar 2020 16:24:44 +0100
Subject: [PATCH] Fix: a bug in gg. 2 options were using the same option name
(-p)
---
tools/graphgen/graphGen_arg.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/graphgen/graphGen_arg.ml b/tools/graphgen/graphGen_arg.ml
index 73d53eb7..177acc57 100644
--- a/tools/graphgen/graphGen_arg.ml
+++ b/tools/graphgen/graphGen_arg.ml
@@ -241,7 +241,7 @@ let (mkoptab : string array -> t -> unit) =
[(["Set the second radius around all nodes.";
"2 by default.\n"],"QUDG")];
- mkopt args ["--probability";"-p"]~arg:" <float>"
+ mkopt args ["--probability"]~arg:" <float>"
(Arg.Float (fun p -> args.qudg.p <- p))
[(["Sets the probability of the nodes being neighbors when they are ";
"inside the second";
--
GitLab