X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite2%2F.depend;h=eaea866c18ea33e92341184efc581e8ce677bfab;hb=7d7f729471b4d5ebafa1b915096974e726cc13c6;hp=28de95ab3b3a19a82706274ad945306f05a87915;hpb=a58d25c192ff13ecee2cb92f07ee6f1cbe5219b5;p=helm.git

diff --git a/helm/ocaml/grafite2/.depend b/helm/ocaml/grafite2/.depend
index 28de95ab3..eaea866c1 100644
--- a/helm/ocaml/grafite2/.depend
+++ b/helm/ocaml/grafite2/.depend
@@ -1,14 +1,10 @@
-matitaSync.cmi: grafiteTypes.cmi 
+grafiteSync.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi 
 grafiteTypes.cmo: grafiteTypes.cmi 
 grafiteTypes.cmx: grafiteTypes.cmi 
-disambiguatePp.cmo: disambiguatePp.cmi 
-disambiguatePp.cmx: disambiguatePp.cmi 
-matitaSync.cmo: grafiteTypes.cmi disambiguatePp.cmi matitaSync.cmi 
-matitaSync.cmx: grafiteTypes.cmx disambiguatePp.cmx matitaSync.cmi 
+grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi 
+grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi 
 grafiteMisc.cmo: grafiteMisc.cmi 
 grafiteMisc.cmx: grafiteMisc.cmi 
-grafiteEngine.cmo: matitaSync.cmi grafiteTypes.cmi grafiteMisc.cmi \
-    grafiteEngine.cmi 
-grafiteEngine.cmx: matitaSync.cmx grafiteTypes.cmx grafiteMisc.cmx \
-    grafiteEngine.cmi 
+grafiteEngine.cmo: grafiteTypes.cmi grafiteMisc.cmi grafiteEngine.cmi 
+grafiteEngine.cmx: grafiteTypes.cmx grafiteMisc.cmx grafiteEngine.cmi