mQueryLevels2.mli added in Makefile.

[helm.git] / helm / gTopLevel / .depend

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index a1f583bb0ef97a93dd99c2839811d7261ce76e50..5e8706933e83e0cb67eea83b2ab9e63bc83e7e9b 100644 (file)
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -65,6 +65,7 @@ sequentPp.cmo: cic2Xml.cmi cic2acic.cmi proofEngine.cmi sequentPp.cmi
 sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx sequentPp.cmi 
 mQueryLevels.cmo: mQueryLevels.cmi 
 mQueryLevels.cmx: mQueryLevels.cmi 
+mQueryLevels2.cmi: mQueryGenerator.cmi 
 mQueryLevels2.cmo: mQueryLevels2.cmi 
 mQueryLevels2.cmx: mQueryLevels2.cmi 
 mQueryGenerator.cmo: mQueryGenerator.cmi