From 1235bdbe5da488056b96df86ed18e381589e0f97 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 17 Sep 2002 13:28:50 +0000 Subject: [PATCH] new query generator --- helm/gTopLevel/.depend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend index 5ea3dfae2..e1b553d30 100644 --- a/helm/gTopLevel/.depend +++ b/helm/gTopLevel/.depend @@ -22,8 +22,8 @@ ring.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \ ring.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \ proofEngineTypes.cmx tacticals.cmx ring.cmi ring.cmi: proofEngineTypes.cmo -fourierR.cmo: fourier.cmo primitiveTactics.cmi ring.cmi fourierR.cmi -fourierR.cmx: fourier.cmx primitiveTactics.cmx ring.cmx fourierR.cmi +fourierR.cmo: fourier.cmo primitiveTactics.cmi tacticals.cmi fourierR.cmi +fourierR.cmx: fourier.cmx primitiveTactics.cmx tacticals.cmx fourierR.cmi fourierR.cmi: proofEngineTypes.cmo proofEngine.cmo: fourierR.cmi primitiveTactics.cmi proofEngineHelpers.cmi \ proofEngineReduction.cmi proofEngineStructuralRules.cmi \ -- 2.39.2