X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile.in;h=b64716cc2663d5a9cfc92c99c4fdca7d537cce49;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=75340e3aa7c8abd3c5d50377e8074a0f546bf6d8;hpb=282f371ba8533ea0e4e667265f9e4b04856bf972;p=helm.git

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 75340e3aa..b64716cc2 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -43,7 +43,6 @@ INTERFACE_FILES = \
   	disambiguatingParser.mli \
 	termEditor.mli \
 	texTermEditor.mli \
-	chosenTransformer.mli \
 	termViewer.mli \
 	invokeTactics.mli \
 	hbugs.mli \