projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix descendant-or-self (which wrongly looked for elements in the
[tatoo.git]
/
src
/
utils
/
hcons.ml
diff --git
a/src/utils/hcons.ml
b/src/utils/hcons.ml
index
eba8bac
..
3fc3e71
100644
(file)
--- a/
src/utils/hcons.ml
+++ b/
src/utils/hcons.ml
@@
-14,17
+14,17
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-0
2-06 18:43:46
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-0
3-04 22:39:39
CET by Kim Nguyen>
*)
*)
-include
Sigs.HCONS
+include
Hcons_sig
module type TableBuilder =
functor
module type TableBuilder =
functor
- (H :
Sigs.AUX
.HashedType) ->
-
Sigs.AUX
.HashSet with type data = H.t
+ (H :
Common_sig
.HashedType) ->
+
Common_sig
.HashSet with type data = H.t
-module Builder (TB : TableBuilder) (H :
Sigs.AUX
.HashedType) =
+module Builder (TB : TableBuilder) (H :
Common_sig
.HashedType) =
struct
type data = H.t
type t = { id : Uid.t;
struct
type data = H.t
type t = { id : Uid.t;