-mqint.cmo: context.cmo diff.cmi intersect.cmi meet.cmi relation.cmi sub.cmi \
- union.cmi mqint.cmi
-mqint.cmx: context.cmx diff.cmx intersect.cmx meet.cmx relation.cmx sub.cmx \
- union.cmx mqint.cmi
+mqint.cmo: context.cmo dbconn.cmi diff.cmi intersect.cmi meet.cmi \
+ relation.cmi sub.cmi union.cmi mqint.cmi
+mqint.cmx: context.cmx dbconn.cmx diff.cmx intersect.cmx meet.cmx \
+ relation.cmx sub.cmx union.cmx mqint.cmi