X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=e449673058fbdb9d8d9aa028f2e9ff0f2dd6a527;hb=96134b9ec1030ed15cea00d751dd4d744463f62c;hp=6dfa38622896000f116052ff92564176b37232fb;hpb=12dd0be29a6a7dc6ac7a571fa99e2aa728fce4d2;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 6dfa38622..e44967305 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -26,7 +26,7 @@ DEPOBJS = \
         gTopLevel.ml
 
 TOPLEVELOBJS = \
-	           doubleTypeInference.cmo eta_fixing.cmo content2cic.cmo \
+	     eta_fixing.cmo content2cic.cmo \
              proofEngine.cmo logicalOperations.cmo \
              disambiguate.cmo termEditor.cmo texTermEditor.cmo termViewer.cmo \
              invokeTactics.cmo hbugs.cmo gTopLevel.cmo