Rename Util into Common

81b7a183 · Stephane Glondu · fcdd3ddb · 81b7a183 · 81b7a183 · 81b7a183
Commit 81b7a183 authored Mar 25, 2014 by Stephane Glondu
18 changed files
--- a/src/bin/credgen.ml
+++ b/src/bin/credgen.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)

 open Signatures
-open Util
+open Common

 let remove_dashes x =
  let n = String.length x in

--- a/src/bin/election_tool.ml
+++ b/src/bin/election_tool.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)

 open Signatures
-open Util
+open Common
 open Serializable_t

 (* Helpers *)

--- a/src/bin/mkelection.ml
+++ b/src/bin/mkelection.ml
@@ -19,7 +19,7 @@
 (*  <http://www.gnu.org/licenses/>.                                       *)
 (**************************************************************************)

-open Util
+open Common
 open Serializable_t
 open Signatures


--- a/src/bin/tkeygen.ml
+++ b/src/bin/tkeygen.ml
@@ -19,7 +19,7 @@
 (*  <http://www.gnu.org/licenses/>.                                       *)
 (**************************************************************************)

-open Util
+open Common
 open Serializable_t
 open Signatures


--- a/src/lib/util.ml
+++ b/src/lib/util.ml
--- a/src/lib/util.mli
+++ b/src/lib/util.mli
--- a/src/lib/election.ml
+++ b/src/lib/election.ml
@@ -19,7 +19,7 @@
 (*  <http://www.gnu.org/licenses/>.                                       *)
 (**************************************************************************)

-open Util
+open Common
 open Serializable_t
 open Signatures


--- a/src/lib/group_field.ml
+++ b/src/lib/group_field.ml
@@ -19,7 +19,7 @@
 (*  <http://www.gnu.org/licenses/>.                                       *)
 (**************************************************************************)

-open Util
+open Common
 open Serializable_j

 (** Helper functions *)

--- a/src/lib/lib.mllib
+++ b/src/lib/lib.mllib
-Util
+Common
 Serializable_builtin_j
 Serializable_t
 Serializable_j

--- a/src/web/auth_password.ml
+++ b/src/web/auth_password.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)

 open Lwt
-open Util
+open Common
 open Web_signatures
 open Web_common


--- a/src/web/server.mllib
+++ b/src/web/server.mllib
-Util
+Common
 Serializable_builtin_j
 Serializable_j
 Web_serializable_j

--- a/src/web/web_auth.ml
+++ b/src/web/web_auth.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)

 open Lwt
-open Util
+open Common
 open Serializable_t
 open Signatures
 open Web_serializable_t

--- a/src/web/web_common.ml
+++ b/src/web/web_common.ml
@@ -21,7 +21,7 @@

 open Signatures
 open Lwt
-open Util
+open Common
 open Serializable_builtin_t
 open Serializable_t
 open Web_serializable_t

--- a/src/web/web_election.ml
+++ b/src/web/web_election.ml
@@ -22,7 +22,7 @@
 open Signatures
 open Web_signatures
 open Lwt
-open Util
+open Common
 open Serializable_builtin_t
 open Serializable_t
 open Web_serializable_t

--- a/src/web/web_main.ml
+++ b/src/web/web_main.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)

 open Signatures
-open Util
+open Common
 open Serializable_t
 open Web_serializable_j
 open Lwt

--- a/src/web/web_signatures.mli
+++ b/src/web/web_signatures.mli
@@ -21,6 +21,7 @@

 open Serializable_builtin_t
 open Serializable_t
+open Common
 open Web_serializable_t
 open Signatures

@@ -202,7 +203,7 @@ module type WEB_BALLOT_BOX = sig

  val cast : string -> string * datetime -> string Lwt.t
  val inject_cred : string -> unit Lwt.t
-  val extract_creds : unit -> Util.SSet.t Lwt.t
+  val extract_creds : unit -> SSet.t Lwt.t
  val update_cred : old:string -> new_:string -> unit Lwt.t
 end


--- a/src/web/web_site.ml
+++ b/src/web/web_site.ml
@@ -20,7 +20,7 @@
 (**************************************************************************)

 open Lwt
-open Util
+open Common
 open Serializable_t
 open Signatures
 open Web_serializable_j

--- a/src/web/web_templates.ml
+++ b/src/web/web_templates.ml
@@ -21,7 +21,7 @@

 open Lwt
 open Signatures
-open Util
+open Common
 open Serializable_t
 open Web_serializable_t
 open Web_signatures