]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/.depend
Relation ok!
[helm.git] / helm / ocaml / mathql_interpreter / .depend
index 2a532e6dd7f6d87352009d255bfb71984dcfb3a3..8106a0f5e6d53359a3ecdeef6ad89af05929093a 100644 (file)
@@ -4,8 +4,8 @@ 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 
+relation.cmo: dbconn.cmi union.cmi utility.cmi relation.cmi 
+relation.cmx: dbconn.cmx union.cmx utility.cmx relation.cmi 
 diff.cmo: diff.cmi 
 diff.cmx: diff.cmi 
 meet.cmo: meet.cmi