dbconn.cmx: dbconn.cmi
utility.cmo: dbconn.cmi utility.cmi
utility.cmx: dbconn.cmx utility.cmi
+union.cmo: union.cmi
+union.cmx: union.cmi
relation.cmo: dbconn.cmi utility.cmi relation.cmi
relation.cmx: dbconn.cmx utility.cmx relation.cmi
diff.cmo: diff.cmi
meet.cmx: meet.cmi
sub.cmo: sub.cmi
sub.cmx: sub.cmi
-union.cmo: union.cmi
-union.cmx: union.cmi
intersect.cmo: intersect.cmi
intersect.cmx: intersect.cmi
-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