X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=depend;h=62572f729fb224f7507165ddfe234f3c0849c1af;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=09cbc73591dac39ce17134fd12eaf22905f6710e;hpb=b82be3bb29963ce00218ccc59e1622e284145351;p=SXSI%2Fxpathcomp.git

diff --git a/depend b/depend
index 09cbc73..62572f7 100644
--- a/depend
+++ b/depend
@@ -6,8 +6,6 @@ memoizer.cmo: memoizer.cmi
 memoizer.cmx: memoizer.cmi 
 hcons.cmo: hcons.cmi 
 hcons.cmx: hcons.cmi 
-memhashtbl.cmo: hcons.cmi memhashtbl.cmi 
-memhashtbl.cmx: hcons.cmx memhashtbl.cmi 
 hlist.cmo: hcons.cmi hlist.cmi 
 hlist.cmx: hcons.cmx hlist.cmi 
 ptset.cmo: hcons.cmi ptset.cmi 
@@ -36,8 +34,6 @@ memory.cmi:
 sigs.cmi: 
 memoizer.cmi: 
 hcons.cmi: 
-memhashtbl.cmo: hcons.cmi memhashtbl.cmi 
-memhashtbl.cmx: hcons.cmx memhashtbl.cmi 
 hlist.cmi: hcons.cmi 
 ptset.cmi: hcons.cmi 
 finiteCofinite.cmi: sigs.cmi