From 2122459392680c4b53e32a2cf1d4792405f118ce Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 29 Jul 2003 11:25:36 +0000 Subject: [PATCH] Spurious files removed. --- helm/gTopLevel/Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index 8f6205de1..076fef910 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -18,15 +18,14 @@ all: styles gTopLevel opt: styles gTopLevel.opt DEPOBJS = \ - proofEngine.ml proofEngine.mli eta_fixing.ml eta_fixing.mli \ - content2cic.ml content2cic.mli logicalOperations.ml \ + proofEngine.ml proofEngine.mli logicalOperations.ml \ logicalOperations.mli disambiguate.ml disambiguate.mli termEditor.ml \ termEditor.mli texTermEditor.ml texTermEditor.mli xmlDiff.ml \ xmlDiff.mli termViewer.ml termViewer.mli invokeTactics.ml \ invokeTactics.mli hbugs.ml hbugs.mli gTopLevel.ml TOPLEVELOBJS = \ - eta_fixing.cmo content2cic.cmo proofEngine.cmo logicalOperations.cmo \ + proofEngine.cmo logicalOperations.cmo \ disambiguate.cmo termEditor.cmo texTermEditor.cmo xmlDiff.cmo \ termViewer.cmo invokeTactics.cmo hbugs.cmo gTopLevel.cmo -- 2.39.2