removed ancient indirections for gTopLevel

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 0651685f151b9089604c0e2ec9c671946ca961ae..7c7d393a56a650812ed1251b56e77fab6aa649e0 100644 (file)
--- 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