]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/.depend
mathql query generator interface patched
[helm.git] / helm / ocaml / getter / .depend
index 2013e9b3e1b07b789ed8fddfa5a9c05990d2b350..c51f1a8e4abb83b2be03ca991ef12d102fc10a16 100644 (file)
@@ -1,6 +1,6 @@
 configuration.cmo: configuration.cmi 
 configuration.cmx: configuration.cmi 
-clientHTTP.cmo: configuration.cmi clientHTTP.cmi 
-clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
+clientHTTP.cmo: clientHTTP.cmi 
+clientHTTP.cmx: clientHTTP.cmi 
 getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
 getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi