projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove git bug related files.
[tatoo.git]
/
src
/
utils
/
misc.ml
diff --git
a/src/utils/misc.ml
b/src/utils/misc.ml
index
960ec46
..
f8156b0
100644
(file)
--- a/
src/utils/misc.ml
+++ b/
src/utils/misc.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-0
1-30 19:05:20
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-0
3-04 23:00:19
CET by Kim Nguyen>
*)
(** Various generic signatures and generic module and functor definitions
*)
(** Various generic signatures and generic module and functor definitions
@@
-22,7
+22,7
@@
INCLUDE "utils.ml"
module HashSet (H : Hashtbl.HashedType) :
INCLUDE "utils.ml"
module HashSet (H : Hashtbl.HashedType) :
-
Sigs.AUX
.HashSet with type data = H.t =
+
Common_sig
.HashSet with type data = H.t =
struct
module T = Hashtbl.Make(H)
type data = H.t
struct
module T = Hashtbl.Make(H)
type data = H.t
@@
-36,8
+36,8
@@
struct
let mem = T.mem
end
let mem = T.mem
end
-module Pair (X :
Sigs.AUX.Type) (Y : Sigs.AUX
.Type) :
-
Sigs.AUX
.Type with type t = X.t * Y.t =
+module Pair (X :
Common_sig.Type) (Y : Common_sig
.Type) :
+
Common_sig
.Type with type t = X.t * Y.t =
struct
type t = X.t * Y.t
let hash (x, y) = HASHINT2(X.hash x, Y.hash y)
struct
type t = X.t * Y.t
let hash (x, y) = HASHINT2(X.hash x, Y.hash y)