X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2F.depend;h=f7a04516b70ed9deef39934dbec896e6c0a36c55;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=c675ba3525d8c749e485968aaa1123d6d6b8dd83;hpb=36aa72077bd8753ccbb2a047d65a2886e984e853;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/ocaml/mathql_interpreter/.depend
index c675ba352..f7a04516b 100644
--- a/helm/ocaml/mathql_interpreter/.depend
+++ b/helm/ocaml/mathql_interpreter/.depend
@@ -1,7 +1,7 @@
 mQIPostgres.cmi: mQITypes.cmo 
 mQIMySql.cmi: mQITypes.cmo 
 mQIConn.cmi: mQIMap.cmi mQITypes.cmo 
-mQIProperty.cmi: mQIConn.cmi 
+mQIProperty.cmi: mQIConn.cmi mQITypes.cmo 
 mQueryInterpreter.cmi: mQIConn.cmi 
 mQueryTParser.cmo: mQueryTParser.cmi 
 mQueryTParser.cmx: mQueryTParser.cmi