X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfigure.in;h=a0e68d7246e8be068c181eb7f25410aca2192aa3;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=4dc7a6fecda401576f2336567a461b5ea0adb2e9;hpb=4faf0e37e7019de16dd6862bb34d84f799a2a230;p=helm.git

diff --git a/helm/interface/configure.in b/helm/interface/configure.in
index 4dc7a6fec..a0e68d724 100644
--- a/helm/interface/configure.in
+++ b/helm/interface/configure.in
@@ -41,7 +41,7 @@ if test $PERL_BINARY = no ; then
 fi
 
 dnl MISSING CHECKS:
-dnl ocaml-findlib, ocaml-netstring, ocaml-pxp, ocaml-netclient
+dnl ocaml-findlib, ocaml-netstring, ocaml-pxp
 
 dnl Check for Ocaml
 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)