Tool => Election_tool

aa2afa6e · Stephane Glondu · 014972dc · aa2afa6e · aa2afa6e · aa2afa6e
Commit aa2afa6e authored Jan 10, 2014 by Stephane Glondu
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/bin/election_tool.ml src/bin/election_tool.ml +0 -0

src/bin/election_tool.mli src/bin/election_tool.mli +0 -0

src/bin/main.ml src/bin/main.ml +1 -1

No files found.
--- a/src/bin/tool.ml
+++ b/src/bin/tool.ml
--- a/src/bin/tool.mli
+++ b/src/bin/tool.mli
--- a/src/bin/main.ml
+++ b/src/bin/main.ml
@@ -35,7 +35,7 @@ let () =
    Arg.current := 1;
    match Sys.argv.(1) with
    | "trustee-keygen" -> Tkeygen.main ()
-    | "election" -> Tool.main ()
+    | "election" -> Election_tool.main ()
    | "credgen" -> Credgen.main ()
    | _ -> usage ()
  )