From c61b21301bd14231cdd9d18337a2e27fb9b65d46 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 28 Apr 2004 15:04:31 +0000 Subject: [PATCH] rebuilt --- helm/gTopLevel/.depend | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend index ceb96bd38..5075841eb 100644 --- a/helm/gTopLevel/.depend +++ b/helm/gTopLevel/.depend @@ -29,8 +29,8 @@ invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \ termViewer.cmx invokeTactics.cmi hbugs.cmo: invokeTactics.cmi proofEngine.cmi hbugs.cmi hbugs.cmx: invokeTactics.cmx proofEngine.cmx hbugs.cmi -chosenTermEditor.cmo: texTermEditor.cmi chosenTermEditor.cmi -chosenTermEditor.cmx: texTermEditor.cmx chosenTermEditor.cmi +chosenTermEditor.cmo: termEditor.cmi chosenTermEditor.cmi +chosenTermEditor.cmx: termEditor.cmx chosenTermEditor.cmi helmGtkLogger.cmo: helmGtkLogger.cmi helmGtkLogger.cmx: helmGtkLogger.cmi gTopLevel.cmo: chosenTermEditor.cmi chosenTransformer.cmi \ @@ -39,9 +39,10 @@ gTopLevel.cmo: chosenTermEditor.cmi chosenTransformer.cmi \ gTopLevel.cmx: chosenTermEditor.cmx chosenTransformer.cmx \ disambiguatingParser.cmx hbugs.cmx helmGtkLogger.cmx invokeTactics.cmx \ logicalOperations.cmx proofEngine.cmx termEditor.cmx termViewer.cmx -regtest.cmo: batchParser.cmi -regtest.cmx: batchParser.cmx +regtest.cmo: batchParser.cmi disambiguatingParser.cmi +regtest.cmx: batchParser.cmx disambiguatingParser.cmx testlibrary.cmo: batchParser.cmi testlibrary.cmx: batchParser.cmx batchParser.cmo: disambiguatingParser.cmi batchParser.cmi batchParser.cmx: disambiguatingParser.cmx batchParser.cmi +batchParser.cmi: disambiguatingParser.cmi -- 2.39.2