]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/.depend
standard library and while construction inserted
[helm.git] / helm / ocaml / mathql_interpreter / .depend
index 3d89ece9ac3cc6f6cc439e16ddd654e87973c643..4bad2ad26a40adb08442da22124ed4277721ea1f 100644 (file)
@@ -27,3 +27,5 @@ mQueryInterpreter.cmo: mQIConn.cmi mQILib.cmi mQIProperty.cmi mQIUtil.cmi \
     mQueryIO.cmi mQueryInterpreter.cmi 
 mQueryInterpreter.cmx: mQIConn.cmx mQILib.cmx mQIProperty.cmx mQIUtil.cmx \
     mQueryIO.cmx mQueryInterpreter.cmi 
+mQueryStandard.cmo: mQIConn.cmi mQILib.cmi mQIUtil.cmi mQueryStandard.cmi 
+mQueryStandard.cmx: mQIConn.cmx mQILib.cmx mQIUtil.cmx mQueryStandard.cmi