From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 21 Apr 2005 12:08:31 +0000 (+0000)
Subject: removed ancient indirections for gTopLevel
X-Git-Tag: after_svn_merge~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2af94b81b952606ff67804dbe2410d9b90080e1f;p=helm.git

removed ancient indirections for gTopLevel
---

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 0651685f1..7c7d393a5 100644
--- a/helm/ocaml/configure.ac
+++ b/helm/ocaml/configure.ac
@@ -44,9 +44,6 @@ AC_MSG_RESULT($OCAMLFIND_META_DIR)
 AC_SUBST(OCAMLFIND)
 AC_SUBST(OCAMLFIND_DEST_DIR)
 AC_SUBST(OCAMLFIND_META_DIR)
-AC_SUBST(CHOSEN_TERM_EDITOR)
-AC_SUBST(CHOSEN_TERM_PARSER)
-AC_SUBST(CHOSEN_TRANSFORMER)
 
 AC_OUTPUT([
   Makefile