removed chosenTransformer.mli

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 75340e3aa7c8abd3c5d50377e8074a0f546bf6d8..b64716cc2663d5a9cfc92c99c4fdca7d537cce49 100644 (file)
--- 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 \