Universes introduction

[helm.git] / helm / ocaml / mathql_interpreter / .depend

diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/ocaml/mathql_interpreter/.depend
index c675ba3525d8c749e485968aaa1123d6d6b8dd83..f7a04516b70ed9deef39934dbec896e6c0a36c55 100644 (file)
--- 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