]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/.depend
some new features of mathql-1.3 where included
[helm.git] / helm / ocaml / mathql_interpreter / .depend
index 82921d3229a3b46067f541e65f653adaad2efe38..bf1f5a3d695ec061f4c5ae38fd56ea4f0aa0af96 100644 (file)
@@ -2,7 +2,7 @@ mQIMySql.cmi: mQITypes.cmo
 mQIPostgres.cmi: mQITypes.cmo 
 mQIConn.cmi: mQIMap.cmi mQITypes.cmo 
 mQILib.cmi: mQIConn.cmi 
-mQIProperty.cmi: mQIConn.cmi 
+mQIProperty.cmi: mQIConn.cmi mQITypes.cmo 
 mQueryIO.cmi: mQILib.cmi 
 mQueryInterpreter.cmi: mQIConn.cmi 
 mQIMySql.cmo: mQIMySql.cmi