From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Feb 2005 11:49:16 +0000 (+0000)
Subject: removed chosenTransformer.mli
X-Git-Tag: V_0_1_0~9
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=06f07109a4e797d584c0aa50fd6221fdb1843327;p=helm.git

removed chosenTransformer.mli
---

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 \