rebuilt

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index fa167f5f18e59f135576aa3d58e925b5c2bad448..7d9361990b47fcef4b6b60651aa4fd1d87111e8f 100644 (file)
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -1,7 +1,7 @@
 xml2Gdome.cmo: xml2Gdome.cmi 
 xml2Gdome.cmx: xml2Gdome.cmi 
-proofEngine.cmo: proofEngine.cmi 
-proofEngine.cmx: proofEngine.cmi 
+proofEngine.cmo: cic2Xml.cmi cic2acic.cmi proofEngine.cmi 
+proofEngine.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmi 
 doubleTypeInference.cmo: doubleTypeInference.cmi 
 doubleTypeInference.cmx: doubleTypeInference.cmi 
 cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi 
@@ -13,17 +13,10 @@ logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi
 logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi 
 sequentPp.cmo: cic2Xml.cmi cic2acic.cmi sequentPp.cmi 
 sequentPp.cmx: cic2Xml.cmx cic2acic.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 
-mQueryGenerator.cmx: mQueryGenerator.cmi 
 misc.cmo: misc.cmi 
 misc.cmx: misc.cmi 
-disambiguate.cmo: mQueryGenerator.cmi misc.cmi disambiguate.cmi 
-disambiguate.cmx: mQueryGenerator.cmx misc.cmx disambiguate.cmi 
+disambiguate.cmo: disambiguate.cmi 
+disambiguate.cmx: disambiguate.cmi 
 termEditor.cmo: disambiguate.cmi termEditor.cmi 
 termEditor.cmx: disambiguate.cmx termEditor.cmi 
 termEditor.cmi: disambiguate.cmi 
@@ -42,11 +35,12 @@ invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \
 invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \
     termViewer.cmx invokeTactics.cmi 
 invokeTactics.cmi: termEditor.cmi termViewer.cmi 
-gTopLevel.cmo: applyStylesheets.cmi cic2Xml.cmi cic2acic.cmi \
-    invokeTactics.cmi logicalOperations.cmi mQueryGenerator.cmi \
-    mQueryLevels.cmi mQueryLevels2.cmi misc.cmi proofEngine.cmi sequentPp.cmi \
-    termEditor.cmi termViewer.cmi 
-gTopLevel.cmx: applyStylesheets.cmx cic2Xml.cmx cic2acic.cmx \
-    invokeTactics.cmx logicalOperations.cmx mQueryGenerator.cmx \
-    mQueryLevels.cmx mQueryLevels2.cmx misc.cmx proofEngine.cmx sequentPp.cmx \
-    termEditor.cmx termViewer.cmx 
+hbugs.cmo: invokeTactics.cmi misc.cmi proofEngine.cmi hbugs.cmi 
+hbugs.cmx: invokeTactics.cmx misc.cmx proofEngine.cmx hbugs.cmi 
+hbugs.cmi: invokeTactics.cmi 
+gTopLevel.cmo: applyStylesheets.cmi cic2Xml.cmi cic2acic.cmi disambiguate.cmi \
+    hbugs.cmi invokeTactics.cmi logicalOperations.cmi misc.cmi \
+    proofEngine.cmi sequentPp.cmi termEditor.cmi termViewer.cmi 
+gTopLevel.cmx: applyStylesheets.cmx cic2Xml.cmx cic2acic.cmx disambiguate.cmx \
+    hbugs.cmx invokeTactics.cmx logicalOperations.cmx misc.cmx \
+    proofEngine.cmx sequentPp.cmx termEditor.cmx termViewer.cmx