-memoizer.cmo: memoizer.cmi
-memoizer.cmx: memoizer.cmi
-hcons.cmo: hcons.cmi
-hcons.cmx: hcons.cmi
-ptset.cmo: hcons.cmi ptset.cmi
-ptset.cmx: hcons.cmx ptset.cmi
-finiteCofinite.cmo: sigs.cmi finiteCofinite.cmi
-finiteCofinite.cmx: sigs.cmi finiteCofinite.cmi
+hcons.cmo: uid.cmi hcons.cmi
+hcons.cmx: uid.cmx hcons.cmi
+hlist.cmo: uid.cmi hcons.cmi hlist.cmi
+hlist.cmx: uid.cmx hcons.cmx hlist.cmi
+ptset.cmo: uid.cmi hcons.cmi ptset.cmi
+ptset.cmx: uid.cmx hcons.cmx ptset.cmi
+finiteCofinite.cmo: uid.cmi ptset.cmi hcons.cmi finiteCofinite.cmi
+finiteCofinite.cmx: uid.cmx ptset.cmx hcons.cmx finiteCofinite.cmi